Comment 7 for bug 1712621

Matthias Runge (mrunge) wrote :

Since the package was tagged, both workaround added and removed again, this can be closed, no?