mbox

[PULL,0/1] coverity: fix address_space_rw model

Message ID 1430815833-25218-1-git-send-email-armbru@redhat.com
State New
Headers show

Pull-request

git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2015-05-05

Message

Markus Armbruster May 5, 2015, 8:50 a.m. UTC 
The following changes since commit 5bccbb04a4abba7af4398de992bf06d585fd1333:

  Merge remote-tracking branch 'remotes/kevin/tags/for-upstream' into staging (2015-04-30 20:34:54 +0100)

are available in the git repository at:


  git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2015-05-05

for you to fetch changes up to 2e1c92daff752c056ae10087e6b1702b0460af88:

  coverity: fix address_space_rw model (2015-05-05 10:42:11 +0200)

----------------------------------------------------------------
coverity: fix address_space_rw model

----------------------------------------------------------------
Paolo Bonzini (1):
      coverity: fix address_space_rw model

 scripts/coverity-model.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Comments

Peter Maydell May 5, 2015, 11:07 a.m. UTC | #1 
On 5 May 2015 at 09:50, Markus Armbruster <armbru@redhat.com> wrote:
> The following changes since commit 5bccbb04a4abba7af4398de992bf06d585fd1333:
>
>   Merge remote-tracking branch 'remotes/kevin/tags/for-upstream' into staging (2015-04-30 20:34:54 +0100)
>
> are available in the git repository at:
>
>
>   git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2015-05-05
>
> for you to fetch changes up to 2e1c92daff752c056ae10087e6b1702b0460af88:
>
>   coverity: fix address_space_rw model (2015-05-05 10:42:11 +0200)
>
> ----------------------------------------------------------------
> coverity: fix address_space_rw model
>
> ----------------------------------------------------------------
> Paolo Bonzini (1):
>       coverity: fix address_space_rw model

Applied, thanks.

-- PMM