On Mon, Jan 5, 2026 at 4:01 PM Daniil Davydov <3danissimo@gmail.com> wrote:
>
> Good catch!
> I am not sure that we should put both fixes together, so I'll put your fix in a
> separate patch.
>
It is okay to fix the typo patch in HEAD but the other patch related
to fixing the outdated comment needs to be backpatched, so pushed
separately. Thanks!
--
With Regards,
Amit Kapila.