On 2022-02-01 18:37:02 -0500, Tom Lane wrote: > So I'm going to go ahead with patching; but does anyone want > to change their vote? (We can always "git revert".)
+1 for going ahead
On 2022-02-01 18:37:02 -0500, Tom Lane wrote: > So I'm going to go ahead with patching; but does anyone want > to change their vote? (We can always "git revert".)
+1 for going ahead