Automatic mail to mark BUG#424115 fixed on coordination list. Fixed in version jed-extra 2.3.2-2 by Rafael Laboissiere If this is in error please report to Mathias Klein <ma_klein@gmx.de>