ref: 4be221ba4917d00a15d115b7f85557b6ab6fa4d0
parent: c6e312b252bc41eac10dff60f1c6675c762b4cee
author: Ben Harris <bjh21@bjh21.me.uk>
date: Sun Nov 27 14:52:47 EST 2022
Update current-as-of commit ID in developer docs I think I've made all the updates necessary already.
--- a/devel.but
+++ b/devel.but
@@ -33,7 +33,7 @@
new platform.
This guide is believed correct as of \cw{git} commit-\cw{b34f8b1ee33163af988c75587e6ac99739b7684f}. Hopefully it will be+\cw{c6e312b252bc41eac10dff60f1c6675c762b4cee}. Hopefully it will beupdated along with the code in future, but if not, I've at least left
this version number in here so you can figure out what's changed by
tracking commit comments from there onwards.