Bug#831556: fixed in jed-extra 2.5.7-1

2016-08-27 Thread Wookey
On 2016-08-27 10:19 +0200, Tobias Frost wrote: > Hi Wookey, > > reopening, as Jörg Sommer has not been really removed from d/control: > > https://tracker.debian.org/media/packages/j/jed-extra/control-2.5.7-1 Doh! Thanks for noting my high enthusiasm to competence ratio :-) New upload shortly.

Bug#831556: fixed in jed-extra 2.5.7-1

2016-08-27 Thread Tobias Frost
Hi Wookey, reopening, as Jörg Sommer has not been really removed from d/control: https://tracker.debian.org/media/packages/j/jed-extra/control-2.5.7-1 -- tobi