Thanks for this patch too. I pushed it into the savannah git master, with a slightly different commit message.


Reply via email to