Hi!
On Thu, Apr 27, 2023 at 9:51 PM Nathan Bossart <nathandbossart@gmail.com> wrote:
> On Thu, Apr 27, 2023 at 09:47:33PM +0300, David Steele wrote:
> > That seems to work. The errors are now gone.
>
> Great. Barring objections, I'll plan on committing this shortly.
Thanks to everybody for catching and investigating this.
Nathan, I'd like to push it myself. I'm also going to check the code
for similar errors.
------
Regards,
Alexander Korotkov