Re: [PATCH] Bugzilla report #816

[José Matos]

On Wednesday 15 January 2003 13:43, Dekel Tsur wrote:
>
> No.

  Ok, commited the bug fix and closed the bug.
-- 
José Abílio