On Tue, Oct 22, 2013 at 11:31 PM, Martin Jansa <martin.jansa at gmail.com> wrote: > It's OK, but it will take a while until I'm back to actually merge it. ok. no hurry... it's a patch for a minor issue ;-) thx