chiark / gitweb /
Merge branch 'release' into 'main' main
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 5 Feb 2025 23:56:12 +0000 (23:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 5 Feb 2025 23:56:12 +0000 (23:56 +0000)
commitd1185d20459fefe158dfe9aca827d8ff8f5eedb2
treee513b2ab8a56b495421696bf8e2e7f0f91b04ad8
parent3db56fddc6028ed4a49eb0c85ace698444688262
parent4568db90a0c466dbd7eb487d61426814198e767e
Merge branch 'release' into 'main'

Release 1.2.1

See merge request iwj/hippotat!51