7 Oct
2013
7 Oct
'13
1:41 p.m.
https://bugs.freedesktop.org/show_bug.cgi?id=54867
--- Comment #4 from Tom Stellard tstellar@gmail.com --- (In reply to comment #3)
So, still not pushed in today git, can someone push this small fix?
I can push it if you provide an updated patch with a proper commit message.
--
You are receiving this mail because:
You are the assignee for the bug.