Hi Holger, Holger Levsen wrote (17 May 2016 11:29:56 GMT) : > On Tue, May 17, 2016 at 01:16:28PM +0200, intrigeri wrote: >> I'm working on it and hope to fix it today. Repaired! > I'll gladly merge this whenever you tell me I should. Please go ahead :) Cheers, -- intrigeri