On Sat, Jul 11, 2020 at 10:10:49AM -0400, Greg Troxel wrote: > So I am in favor of: > > flip to 10 immediately (I can, or you are welcome to) I don't see any reason at this point to move to 10 and every reason to go to 12. No, I don't consider the couple of build errors mission critical here. Jorg