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.

Reply via email to