Hi,
On 2023-01-24 23:37:44 -0500, Tom Lane wrote:
> Andres Freund <andres@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