Maintenance

To create a patch:

git format-patch -1 <sha>

Then move it to the patches directory.

To apply a patch:

git am <patch>