On Mon, Apr 9, 2012 at 3:21 AM, Daniel Shahaf <d.s at daniel.shahaf.name> wrote: > Sounds like a bug that was fixed a couple of releases ago. What version > are you using? Right, I am using an older version (6.3.4) and did not notice. Sorry about the noise. Thanks, Siddhesh -- Siddhesh Poyarekar http://siddhesh.in