On Tue, Jul 19, 2011 at 11:29:04AM +0200, Ferry Huberts wrote: > can you push out your tree into the public cgit repo today? Done. > can we also use a newer git version please? Yes, it's about time to upgrade, but I won't be able to do it today. -- larsh