> On 24 Apr 2023, at 03:35, Alexander Korotkov <aekorotkov(at)gmail(dot)com> wrote:
> On Sun, Apr 23, 2023 at 3:36 PM Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>> I had planned to backpatch these two fixes for just that reason, to avoid the risk for other backpatches not applying.
>
> OK. I'm good with this plan.
Done.
--
Daniel Gustafsson