On Mon, Jan 5, 2026 at 4:01 PM Daniil Davydov <[email protected]> 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.
