Le 09/01/2022 à 15:10, Mikael Morin a écrit :
pulling the latest master brought me a broken bootstrap
It was a user error (of course).
Bootstrap and regression test and commit pending.
Now tested and committed as r12-6386-gc1c17a43e172ebc28f2cd247f6e83c5fdbc6219f