From 4be221ba4917d00a15d115b7f85557b6ab6fa4d0 Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sun, 27 Nov 2022 19:52:47 +0000
Subject: [PATCH] Update current-as-of commit ID in developer docs

I think I've made all the updates necessary already.
---
 devel.but | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devel.but b/devel.but
index e6e34cf..d561834 100644
--- a/devel.but
+++ b/devel.but
@@ -33,7 +33,7 @@ for use by anyone attempting to implement a new puzzle or port to a
 new platform.
 
 This guide is believed correct as of \cw{git} commit
-\cw{b34f8b1ee33163af988c75587e6ac99739b7684f}. Hopefully it will be
+\cw{c6e312b252bc41eac10dff60f1c6675c762b4cee}. Hopefully it will be
 updated 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.