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.
------Regards,Alexander Korotkov