chiark / gitweb /
Merge branch 'release' into 'main'
authorIan Jackson <iwj@debian.org>
Sat, 12 Oct 2024 09:39:35 +0000 (09:39 +0000)
committerIan Jackson <iwj@debian.org>
Sat, 12 Oct 2024 09:39:35 +0000 (09:39 +0000)
Bump cargo version for release

See merge request iwj/hippotat!42


Trivial merge