Alexander Korotkov <[email protected]> writes: > On Thu, Jul 9, 2020 at 4:04 AM Alexander Korotkov <[email protected]> > wrote: >> I understand both patches as fixes and propose to backpatch them to 12 >> if no objections.
> Both patches are pushed.
Thanks for taking care of that!
regards, tom lane
