Alexander Korotkov <aekorot...@gmail.com> writes: > On Thu, Jul 9, 2020 at 4:04 AM Alexander Korotkov <aekorot...@gmail.com> > 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
