Johannes Schindelin 6e6fae650c Merge branch 'ci-fixes'
Backport a couple fixes to make the CI build run again (so much for
reproducible builds...).

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
2024-11-25 08:29:28 +01:00
..
2024-11-25 08:29:28 +01:00
2024-11-25 08:29:28 +01:00