chiark / gitweb /
Merge branch 'update' into 'main'
authorIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 17:04:52 +0000 (17:04 +0000)
committerIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 17:04:52 +0000 (17:04 +0000)
commitfc6190d8f560cc4e31fc610bb04dc175dbca0e40
tree4fb87ae1103bd3c6e984ad58d6683870f4f47947
parent6e3d5ce6c0d248a26a2156ab761e5b2a41702e90
parentb731c98972bad8e6931aa9a951b5d6377bb62568
Merge branch 'update' into 'main'

cargo update

See merge request iwj/hippotat!8