Comment 8 for bug 1313712

Revision history for this message
Michael Schaller (misch-9) wrote :

Thank you Dimitri for fixing this issue.