Re: [Qemu-devel] [PULL 0/2] Miscellaneous patches for 2017-03-15

[Peter Maydell]

On 15 March 2017 at 13:18, Markus Armbruster <address@hidden> wrote:
> The following changes since commit d84f714eafedd8bb9d4aaec8b76417bef8e3535e:
>
>   Update version for v2.9.0-rc0 release (2017-03-14 19:18:23 +0000)
>
> are available in the git repository at:
>
>   git://repo.or.cz/qemu/armbru.git tags/pull-misc-2017-03-15
>
> for you to fetch changes up to 4d0e72396b69656f36f484b54ffe64893d793a80:
>
>   coverity-model: model address_space_read/write (2017-03-15 13:59:16 +0100)
>
> ----------------------------------------------------------------
> Miscellaneous patches for 2017-03-15
>
> ----------------------------------------------------------------
> Markus Armbruster (1):
>       tests: Use error_free_or_abort() where appropriate
>
> Paolo Bonzini (1):
>       coverity-model: model address_space_read/write
>
>  scripts/coverity-model.c            | 17 +++++++++++++----
>  tests/test-qemu-opts.c              |  3 +--
>  tests/test-qobject-output-visitor.c |  6 ++----
>  3 files changed, 16 insertions(+), 10 deletions(-)
>
> Markus Armbruster (1):
>   tests: Use error_free_or_abort() where appropriate
>
> Paolo Bonzini (1):
>   coverity-model: model address_space_read/write

Applied, thanks.

-- PMM