Comment 71 for bug 1707999

Revision history for this message
Christian Ehrhardt  (paelzer) wrote :

Thank you Michael, I can drop our fix when merging the next version then.