On 3/13/14 2:55 PM, I wrote:
> On 3/13/14 2:45 PM, Heikki Linnakangas wrote:
>> Good catch! Want to write that into a patch?
>
> I can do it if it helps, but I figured that it's a one-line change,
> perhaps four with a nice comment..
How does the attached look? I've again confirmed that I can't reproduce
the problem locally after applying this patch.
Regards,
Marko Tiikkaja