On Wed, Jul 31, 2024 at 11:50 AM Manos Pitsidianakis <manos.pitsidiana...@linaro.org> wrote: > > On Fri, 26 Jul 2024 12:26, Manos Pitsidianakis > <manos.pitsidiana...@linaro.org> wrote: > >On Fri, 26 Jul 2024 at 11:19, Paolo Bonzini <pbonz...@redhat.com> wrote: > >> As I said, I don't see the point in discussing this more, and I'm not > >> going to unless you provide a clear pointer to documentation that > >> states the opposite. > > > >Same here. > > Next patch series version is taking more time than I expected because of > unrelated issues, plus I'm on PTO these days, so I am posting the > resolution (which I hope satisfies everyone) here early:
I would be okay with just a TODO comment (I think we all agree that the issue is theoretical), but this one's okay too if you prefer. Paolo
