On 2023-Oct-04, Robert Haas wrote: > The original issue I reported does make a real difference, though. :-)
Yes, absolutely, and I agree that it'd be better to get it fixed. -- Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/ "Learn about compilers. Then everything looks like either a compiler or a database, and now you have two problems but one of them is fun." https://twitter.com/thingskatedid/status/1456027786158776329
