Comment 3 for bug 1637786

Revision history for this message
Daniel Schürmann (daschuer) wrote :

Fix Committed = Pull Request is merged.