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
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