On Sun, 11 Aug 2024 at 18:41, Michael Tokarev <m...@tls.msk.ru> wrote: > > 17.07.2024 09:08, Richard Henderson wrote: > > Flush before the queue gets too big. > > Also, there's a bug fix in patch 14. > > Hi! > > Has this patchset (together with the bugfix) been forgotten? > Maybe we should include at least the bug fix for 9.1?
Thanks for the ping -- I had indeed lost track of the patchset. The series itself is not 9.1 material, but the bugfix could go in. (I don't rate the bugfix as very critical -- nobody's noticed it in the at least five years it's been there.) -- PMM
