On Wed, 22 Feb 2023 at 14:19, Stefan Hajnoczi <stefa...@gmail.com> wrote: > > On Wed, 15 Feb 2023 at 15:22, Vladimir Sementsov-Ogievskiy > <vsement...@yandex-team.ru> wrote: > > > > ping > > > > [add Stefan] > > I'm not familiar with the Coverity models. Peter Maydell is the maintainer.
We haven't run Coverity scans since September last year. There's no point making changes to our model until we've fixed that. Paolo? thanks -- PMM
