https://bugs.freedesktop.org/show_bug.cgi?id=98518
Dieter Nützel Dieter@nuetzel-hh.de changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
--- Comment #4 from Dieter Nützel Dieter@nuetzel-hh.de --- Fixed by git commit in master. Closing.
Thanks Marek!