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)
commit194c485807d46ae9c80ef86716f94a5ea1af4d86
tree90b7548ff4de5a5e42087ea718deb7a2f30eac92
parente8ac7425270290e1d8c4924a9cb36a24fb1f63dd
parent0905bd7c9b4ed125f7834485641e76ddd475ef34
Merge branch 'release' into 'main'

Bump cargo version for release

See merge request iwj/hippotat!42