On Thu, Dec 22, 2022 at 09:30:41AM -0600, Justin Pryzby wrote:> This caused me to notice various wrong-looking elog()s.
Nice catch. These have been wrong for quite some time, so I have donesomething down to v11 while passing by..--Michael