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

Reply via email to