From: Ian Jackson Date: Fri, 23 Feb 2024 15:40:17 +0000 (+0000) Subject: Merge branch 'minimal' into 'main' X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=d3a6264612c3ca96eb6ed7dcbd065dabdb4ed507;p=hippotat.git Merge branch 'minimal' into 'main' Fix minimal-versions tests (2) See merge request iwj/hippotat!23 --- d3a6264612c3ca96eb6ed7dcbd065dabdb4ed507