Message ID | 20180705131417.1847-1-armbru@redhat.com |
---|---|
State | New |
Headers | show |
On 5 July 2018 at 14:14, Markus Armbruster <armbru@redhat.com> wrote: > 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(-) > Applied, thanks. -- PMM