shithub: puzzles

Download patch

ref: 2537961b6f84ce0268510f844f119bdb012ca282
parent: a2212e82aa2f4b9a4ee22783d6fed2761c213432
author: Ben Harris <[email protected]>
date: Mon Jan 2 13:28:39 EST 2023

Update devel.but commit ID

--- a/devel.but
+++ b/devel.but
@@ -33,7 +33,7 @@
 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.