.On Thu, Apr 27, 2023 at 9:55 PM Nathan Bossart
<nathandbossart@gmail.com> wrote:
> On Thu, Apr 27, 2023 at 09:53:23PM +0300, Alexander Korotkov wrote:
> > 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.
>
> Sounds good!
I didn't find similar bugs in 096dd80f3c. Pushed!
------
Regards,
Alexander Korotkov