On Thu, 19 Dec 2013 16:17:12 +
Neil Roberts wrote:
> This problem was found while looking at the following bug:
>
> https://bugs.freedesktop.org/show_bug.cgi?id=72612
>
> It turns out the patch doesn't help to fix the bug but I think it
> would be a good thing to do anyway.
>
> --- >8
This problem was found while looking at the following bug:
https://bugs.freedesktop.org/show_bug.cgi?id=72612
It turns out the patch doesn't help to fix the bug but I think it
would be a good thing to do anyway.
--- >8 --- (use git am --scissors to automatically chop here)
The s
