Comment 4 for bug 1527996

Revision history for this message
Benjamin Sautner (bsautner) wrote :

It looks like the pull request was merged in github but the repository was never patched. I'll see if there something i can do