chiark / gitweb /
Merge branch 'update' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 1 Feb 2025 00:01:13 +0000 (00:01 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 1 Feb 2025 00:01:13 +0000 (00:01 +0000)
commit2465dc5ea6cc69ca731f86ced00dc6e07f9689da
treee3cc8ba97f219c40b193229664aea8d1a774a582
parent194c485807d46ae9c80ef86716f94a5ea1af4d86
parent7f97aed0606eefc428b70387e0072061dd81b418
Merge branch 'update' into 'main'

Update dependencies

See merge request iwj/hippotat!43