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