Automatic mail to mark BUG#426532 fixed on coordination list. Fixed by Mike Massonnet <mmassonnet@gmail.com> If this is in error please report to Mathias Klein <ma_klein@gmx.de>