log Resources/holy-build-box-compile.sh @ 321:705be6d59d9b default tip

age author description
Fri, 22 Dec 2023 10:34:59 +0100 Sebastien Jodogne upgraded holy-build-box for compatibility with new buildbot worker