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)
commitde84583b4373d703a1b1402b75ec6c1a018a243b
treef2868fa538604d05f3c651ca308aafa40e43d97f
parent909c49f023a8dd8ec2dd679cf49cf33628f328e4
parent1695f787bfc9962335bfa23ed4c3148de5dbe9c8
Merge branch 'release' into 'main'

Release 1.3.3

See merge request iwj/hippotat!75