chiark / gitweb /
Merge branch 'update' into 'main'
authorIan Jackson <iwj@debian.org>
Sat, 24 Feb 2024 23:50:52 +0000 (23:50 +0000)
committerIan Jackson <iwj@debian.org>
Sat, 24 Feb 2024 23:50:52 +0000 (23:50 +0000)
commit3eeb6c571352278a6c8709273b2ed54ae9e49de9
treeceb314f5052c9e7e5eea4be26e93428ba2389605
parentbd581420a64e746ca906b324f1d54dc014343119
parentf8a59b8547ec520b72523aacf35b421285b05a31
Merge branch 'update' into 'main'

Dependencies: cargo update

See merge request iwj/hippotat!32