On Thu, Jul 19, 2012 at 10:08:30AM +0200, Bjoern Michaelsen wrote: > On Wed, Jul 18, 2012 at 05:51:44PM +0100, Michael Meeks wrote: > > origin/feature/tail_build > > seems to be a integrated/obsolete branch by dtardon Yes, it has been integrated. Sorry, I have forgotten about than one entirely. D.