Hey David, Sorry for failing to respond earlier. On 06.01.2014, at 15:17, David Fuhrmann <david.fuhrmann at gmail.com> wrote: > Felix, is it fine with you if I apply this patch at least in head? Yep. Cheers, Felix