On Thu, Nov 21, 2013 at 2:43 PM, Hauke Mehrtens <hauke at hauke-m.de> wrote: [..] > Thank you for the patch, I applied this version and a new version was > pushed out. > > You do not have to send pull request over github, I will ignore then, > sending a patch to the mailing list is the correct way. OK, thanks for clarifying! -Jason M