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