Hello Pierre,

> Thanks for confirming!

I also noticed that Ludo did push
86c926d7f2dd4906d51dbcd7d39474116768a68d that should prevent this from
happening again.

Nothing much to add here, I think we can close this one.

Thanks,

Mathieu



Reply via email to