textadept (9.3-1~webupd8~0) trusty; urgency=medium * new upstream release -- Alin Andrei <email address hidden> Mon, 20 Mar 2017 16:10:44 +0200