On Fri, Aug 28, 2015 at 02:19:24PM +0200, Stefan Metzmacher wrote: > Hi, > > can someone please push this fix? > > It's required when using --pick-developer on ubuntu 14.04. > > Thanks! Pushed.