Thanks! Pushed as 8cfdd64c3797bd014ad742bd4bd994d647ced985.

P.S. Can you create your patches with git format-patch in the future?
That saves reviewers some time, so that they don't have to retype the
commit message and find your author line and change the author of the
commit ;)

Reply via email to