On Wed, Sep 27, 2023 at 9:41 AM Alexander Korotkov <aekorot...@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