Re: BUG #9557: Row not visible after receiving notification

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