From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 2 Feb 2025 17:24:31 +0000 (+0000)
Subject: Merge branch 'release' into 'main'
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=2172b34bed2393ff7e52d2c188d10cc1a3b9acd3;p=hippotat.git

Merge branch 'release' into 'main'

Update version to 1.2.0

See merge request iwj/hippotat!48
---

2172b34bed2393ff7e52d2c188d10cc1a3b9acd3