chiark / gitweb /
Merge branch 'update' into 'main'
authorIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 18:41:08 +0000 (18:41 +0000)
committerIan Jackson <iwj@debian.org>
Sun, 25 Feb 2024 18:41:08 +0000 (18:41 +0000)
commit19e15a2977a32dc958a054bcfdb745f986b8cede
tree9910e9a224405c620990e49d04440c13bea149d3
parentbd053bb9c4f1cf5e73f8c1aca6afb24025ed4829
parent731dbd39f59cb58a58b0051f0dc252a56a99f36c
Merge branch 'update' into 'main'

Update dependencies (cargo update)

See merge request iwj/hippotat!39