[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PULL 0/1] Coverity model patches for 2018-07-05
From: |
Markus Armbruster |
Subject: |
[Qemu-devel] [PULL 0/1] Coverity model patches for 2018-07-05 |
Date: |
Thu, 5 Jul 2018 15:14:16 +0200 |
The following changes since commit 4fd1cbaf146d4ab35f465bba0fe23115c33cd5a7:
Merge remote-tracking branch 'remotes/armbru/tags/pull-monitor-2018-07-03-v2'
into staging (2018-07-05 11:25:14 +0100)
are available in the Git repository at:
git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2018-07-05
for you to fetch changes up to 19020d41759c7d34eae78d6afbec27c523d55bcd:
coverity-model: Fix replay_get_byte() (2018-07-05 15:09:52 +0200)
----------------------------------------------------------------
Coverity model patches for 2018-07-05
----------------------------------------------------------------
Markus Armbruster (1):
coverity-model: Fix replay_get_byte()
scripts/coverity-model.c | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
--
2.17.1
- [Qemu-devel] [PULL 0/1] Coverity model patches for 2018-07-05,
Markus Armbruster <=