Le 01/10/2020 à 16:35, Scott Kostyshak a écrit : > I tested the patch and like it. Since nobody else chimes in, it is in now. I'll wait until Pavel complains that it is on by default ;) JMarc