Andres Freund <andres@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