On Wed, Sep 27, 2023 at 9:41 AM Alexander Korotkov <aekorotkov@gmail.com> wrote:
> Fixed typo inficating => indicating as pointed by Pavel.
> Peter, what do you think about the current shape of the patch?
I'll try to get to this tomorrow. I'm rather busy with moving home at
the moment, unfortunately.
--
Peter Geoghegan