On Thu, Jan 20, 2005 at 09:50:58AM +0100, Francesco P. Lovergine wrote: > On Thu, Jan 20, 2005 at 01:49:43AM +0100, Michael Banck wrote: > > On Wed, Dec 08, 2004 at 12:36:24AM +0100, Michael Banck wrote: > > > > Any objections to that patch? Otherwise, I'll commit it over the > > next > > days. > > > > It's ok for me. Committed. Michael