Comment 5 for bug 575054

Revision history for this message
Benjamin Drung (bdrung) wrote :

Yes, please push the change into the git branch.