On Fri, Oct 06, 2006 at 07:26:10PM +0200, Hendrik-Jan Heins <hjheins at gmail.com> wrote: > Eeeeh Mike, > > I haven't pushed anything to any archive. > I don't know how. If it is on alioth: I have no rights there. I said I would do it ;) Mike