On Fri, Jul 20, 2012 at 05:15:27PM +0100, Michael Meeks wrote: > origin/feature/gbuild_mkdir Norberts, dunno. > origin/feature/gbuildfixes mostly mine. Whatever is in there is either merged or obsolete -> can be deleted. Best, Bjoern