Andres Freund <and...@anarazel.de> writes: > Patches attached. +1 for 0001. I'm still nervous about 0002. However, maybe the cases that we had trouble with are legacy issues that nobody cares about anymore in 2023. We can always look for another answer if we get complaints, I guess.
regards, tom lane
