Bug#159531: Fixed?

[Daniel Burrows]

  It looks like this bug was fixed ages ago.  Could you confirm that I
can close it?

    Thanks,
  Daniel



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]