chiark / gitweb /
Merge branch 'update' into 'main'
authorIan Jackson <iwj@debian.org>
Fri, 16 Jun 2023 11:36:47 +0000 (11:36 +0000)
committerIan Jackson <iwj@debian.org>
Fri, 16 Jun 2023 11:36:47 +0000 (11:36 +0000)
commit7debd21a7cbf2242a08bb6f9da6366b4a2b91503
tree8de8eebe4b547a2acc49f4ea028110f11c0e38f3
parent6f79e762ec60af02ab2cff27fd960521c8faa087
parenta93efe2fc01bacb7c8dfd3d3dc658183b341225f
Merge branch 'update' into 'main'

cargo update

See merge request iwj/hippotat!20