Closed jschueller closed 11 months ago
Hi Julien @jschueller , thank you for the very prompt response, as always. Since this PR is only about tests and all of them pass, I can merge it when you think it is ready. Thanks!
it should be ok to merge when CI is green