https://bugs.freedesktop.org/show_bug.cgi?id=58777
--- Comment #3 from john.pr...@cantab.net ---
@Markus Mohrhard
Markus, I'm not sure what it is about this bug which means it is not to be
fixed. I understand it is minor and so may not be a priority though. Would
you mind explaining? I've
https://bugs.freedesktop.org/show_bug.cgi?id=58777
--- Comment #5 from john.pr...@cantab.net ---
@Markus
Thank you for your explanation.
I shall leave it closed as it sounds like the effort required to do it would be
massively out of proportion and I agree with the potential for worse behaviour
https://bugs.freedesktop.org/show_bug.cgi?id=58777
john.pr...@cantab.net changed:
What|Removed |Added
CC||john.pr...@cantab.net,
https://bugs.freedesktop.org/show_bug.cgi?id=58777
Markus Mohrhard markus.mohrh...@googlemail.com changed:
What|Removed |Added
Status|NEW |RESOLVED