Tim Northover <t.p.northover at gmail.com> writes: > It looks like you may have forgotten the patch. This is the cover-letter from git send-email. The actual patch is sent as a reply. -David