Patch pushed as 8e7e839c98102a79b5804b39e3cfb58e94687d97 with a modified
commit message.
Thanks.

We'll switch back to using a tag if upstream decides to make one some
day.