.On Thu, Apr 27, 2023 at 9:55 PM Nathan Bossart <nathandboss...@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