chiark / gitweb /
Merge branch 'release' into 'main' main debian/1.3.3
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 22:54:32 +0000 (22:54 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 22:54:32 +0000 (22:54 +0000)
Release 1.3.3

See merge request iwj/hippotat!75


Trivial merge