On 3/13/14 3:47 PM, I wrote:
> 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.
Ugh. Here's one with tabs instead of spaces.
Regards,
Marko Tiikkaja