On Thu, Oct 01, 2015 at 09:26:05AM +0200, Petr Tesarik wrote: > Hello Simon, > > what's up with this patch? Do you plan to apply it, or is there still > an issue? Thanks for the reminder, I have applied the patch now.