https://bugs.freedesktop.org/show_bug.cgi?id=94835
Nicolai Hähnle nhaehnle@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
--- Comment #5 from Nicolai Hähnle nhaehnle@gmail.com --- Implemented in Git master commit 2abe4f8d7dcdcff75c28958e1a691ebf6cdee1ac