From: Ian Jackson Date: Wed, 5 Feb 2025 23:56:12 +0000 (+0000) Subject: Merge branch 'release' into 'main' X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;p=hippotat.git Merge branch 'release' into 'main' Release 1.2.1 See merge request iwj/hippotat!51 --- d1185d20459fefe158dfe9aca827d8ff8f5eedb2