On Wednesday 20 June 2007 00:00:06 Enrico Forestieri wrote:
> The attached patch fixes it. José, OK to commit?

  The patch seems right. If you someone to test this and guarantee that it 
works (no need to be a developer) it can go in.

> --
> Enrico

-- 
José Abílio

Reply via email to