chiark / gitweb /
Merge branch 'minimal' into 'main'
authorIan Jackson <iwj@debian.org>
Fri, 23 Feb 2024 15:40:17 +0000 (15:40 +0000)
committerIan Jackson <iwj@debian.org>
Fri, 23 Feb 2024 15:40:17 +0000 (15:40 +0000)
Fix minimal-versions tests (2)

See merge request iwj/hippotat!23


Trivial merge