chiark / gitweb /
Merge branch 'changelog' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 28 Sep 2025 11:06:22 +0000 (11:06 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 28 Sep 2025 11:06:22 +0000 (11:06 +0000)
commitc3b288498977c3011abf91ef0941c3ea52634991
treed435fd489cdbe765809d77cd84ec0586321123e5
parent2db5af00ec28bd718fa129bc910177fe054a894a
parentc814725455ce67ad3d4f47613018e6981ef41845
Merge branch 'changelog' into 'main'

Document changes in 1.2.3 (planned Debian-only release)

See merge request iwj/hippotat!55