On Mon, Aug 13, 2018, at 4:54 PM, Eric S. Raymond via devel wrote: > That was my intent. I'll remove the comment and keep an ear out for any report > of CentOS operation going sproing. I updated #450 with a report of CentOS/RHEL behavior as I observed it this morning.