chiark / gitweb /
Merge branch 'update' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 10:56:15 +0000 (10:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 10 May 2026 10:56:15 +0000 (10:56 +0000)
commitc75a4213b55afa828bd20ec62f424b1bc021774f
tree8fdb4294b58d06895711d427b8edd7378a289e7d
parent2f918b429e7fab2424ac76d331168955d14fa251
parent5b94f255faf3587dd9a5a60532f416c5c8795159
Merge branch 'update' into 'main'

Routine depedency updates

See merge request iwj/hippotat!67