Any news for this patch?

Le jeu. 9 juil. 2020 à 21:53, David Adam <david.adam.cnrs@gmail.com> a écrit :

All the tests pass the testbot (see job 75149)