On Wed, Jun 04, 2008, Pierre d'Herbemont wrote: > This function isn't used, or is it me? See 2085fb08ae43ba48a2ab115505b9524808233b3c . I wanted to merge both commits before pushing but I forgot. -- Antoine Cellerier dionoea