On Wed, Dec 3, 2025 at 9:53 PM Richard Guo <[email protected]> wrote: > But I admit that I am unsure if this addresses > any real problems, so the effort might not be justified. I agree that > maybe we should just go ahead with your current patch and see what > happens.
Thanks, I have committed that patch. So far the buildfarm seems OK... -- Robert Haas EDB: http://www.enterprisedb.com
