5 Aug
2017
5 Aug
'17
1:10 p.m.
https://bugs.freedesktop.org/show_bug.cgi?id=81563
Paul Menzel paulepanter@users.sourceforge.net changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED
--- Comment #5 from Paul Menzel paulepanter@users.sourceforge.net --- As commented by Michael, the reported bug was already fixed in the git repository.
--
You are receiving this mail because:
You are the assignee for the bug.