Patch says it all.
Branch doesn't seems to exist did we merge this already?
(In reply to comment #1) > Branch doesn't seems to exist did we merge this already? Ah, no I just forgot to push it, somehow. It's there now.
from the look of it, it seems this would also fix : http://bugs.freedesktop.org/show_bug.cgi?id=19857
(In reply to comment #3) > from the look of it, it seems this would also fix : > http://bugs.freedesktop.org/show_bug.cgi?id=19857 I doubt it. I'll leave it open for now, anyway.
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.