chiark / gitweb /
Merge branch 'release' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2025 17:24:31 +0000 (17:24 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2025 17:24:31 +0000 (17:24 +0000)
commit2172b34bed2393ff7e52d2c188d10cc1a3b9acd3
treebf356f0a2f5bc86434e540b985a9d806cee96d8f
parentd6dc8af816b30a04c38e428d381fe8282c95be5c
parente98f20af8c37f89203f2b38d935559efa83394b4
Merge branch 'release' into 'main'

Update version to 1.2.0

See merge request iwj/hippotat!48