From 2537961b6f84ce0268510f844f119bdb012ca282 Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Mon, 2 Jan 2023 18:28:39 +0000
Subject: [PATCH] Update devel.but commit ID

---
 devel.but | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devel.but b/devel.but
index 7bf2242..2402c74 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{9afdd4cca4823fa3b27ad2ca2fec33e04d7ab103}. Hopefully it will be
+\cw{a2212e82aa2f4b9a4ee22783d6fed2761c213432}. 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.