Comment 10 for bug 316171

Revision history for this message
Michael Vogt (mvo) wrote :

Many thanks for the fix Shlomil ! Merged into trunk and it will be part of the next upload.