Alexander Korotkov <aekorotkov(at)gmail(dot)com> writes:
> On Thu, Jul 9, 2020 at 4:04 AM Alexander Korotkov <aekorotkov(at)gmail(dot)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