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)
Release 1.2.1

See merge request iwj/hippotat!51


Trivial merge