Patch pushed as ac95609208c0afe55d68bf42993ccb9b58ad44ce.
Thanks.

I added a copyright line for you, and more info to the commit message.
Also, the patch didn't apply cleanly. I suspect that your email client
mangled it by cutting a long line. Please find a way to prevent it from
doing that.