On 06.01.2013, at 21:19, Josh Watzman <jwatzman at jwatzman.org> wrote: > Sure -- would it be acceptable to move it into the commit message, or > would you prefer I drop it entirely? Applied with a minor coding style adaptation. Thanks for your work! Best regards, Felix