Le 25/08/2020 à 11:06, Stephan Witt a écrit : > Next patch is the real change for #6401. I’d like to apply it soon. Any objections or possible improvements? It is difficult to understand what it does by reading it, and your commit log does not help much! JMarc