Well, this is embarassing. Sorry for the inconvenience. Some part
of my company's network infrastruture must have mangled the attachment.
Both mails were sent using a combination of git format-patch
and git send-email. However, as this is my first foray into this
email-based workflow, I won't rule out a failure on my part. Bear
with me and let's try again.