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(-)
--
1.9.3
