Nick Dokos <ndo...@gmail.com> writes:

> Dror Atariah <dror...@gmail.com> writes:
>
>> 2. What's next? I believe this is a bug... How can I report it?
>
> Consider it reported - thanks for checking it. I'll push the proposed fix 
> later
> on today. If it is wrong, we can revert it later, but at least for now
> it seems to fix the bug.
>

I pushed the patch.

-- 
Nick


Reply via email to