Tommaso Teofili Tue, 12 Nov 2019 23:20:54 -0800
Hi all, if no one objects that, I would like to start cutting a (minor) 6.2 release next week. What do you think?
Regards, Tommaso