On 22.02.23 18:57, Peter Maydell wrote:
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.
What's the problem with it? May I help somehow?
There's no point making changes to our model until we've
fixed that. Paolo?
thanks
-- PMM
--
Best regards,
Vladimir
