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)