> On Aug 15, 2024, at 6:26, Alexander Korotkov <aekorotkov@gmail.com> wrote:
> I mean, I'd like to push it if you don't object.
> If you object and like to push it yourself, feel free to use this patch.
I’d like to take a look at what you have here to get an opinion. Could you wait for a few days?
--
Michael