Hi Dirk,your suggestion could be really a win choice. I will try to prepare a fix for this in the next days.
We should fix #380127 and #380129 too. Thank you. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

