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.

------
Regards,
Alexander Korotkov


Reply via email to