Hi, On 2023-01-24 23:37:44 -0500, Tom Lane wrote: > Andres Freund <and...@anarazel.de> writes: > > Patches attached. > > +1 for 0001.
Cool, will push tomorrow. > 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. Yea, it's a patch that should be easily revertable, if it comes to that. I'll add a note to the commit message about potentially needing to do that if there's not easily addressed fallout. Greetings, Andres Freund
