On 08/23/2016 11:11 PM, Holger Levsen wrote: > On Tue, Aug 23, 2016 at 11:02:54PM +0200, Jérémy Bobbio wrote: >> Thanks for catching the issue. According to Jenkins it's been fixed with >> the latest commit. > > thanks for fixing this so quickly! :) > Indeed! Thanks a lot and have a nice evening! cheers, Levente