[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PULL 0/4] coverity: Improve and extend model
|
From: |
Peter Maydell |
|
Subject: |
Re: [Qemu-devel] [PULL 0/4] coverity: Improve and extend model |
|
Date: |
Thu, 5 Feb 2015 17:11:36 +0000 |
On 5 February 2015 at 16:24, Markus Armbruster <address@hidden> wrote:
> The following changes since commit ec6f25e788ef57ce1e9f734984ef8885172fd9e2:
>
> Merge remote-tracking branch 'remotes/rth/tags/pull-tg-s390-20150203' into
> staging (2015-02-03 21:37:16 +0000)
>
> are available in the git repository at:
>
>
> git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2015-02-05
>
> for you to fetch changes up to 8c413e7902ef0c19ced516f575db989ccc3785f8:
>
> MAINTAINERS: Add myself as Coverity model maintainer (2015-02-05 17:16:14
> +0100)
>
> ----------------------------------------------------------------
> coverity: Improve and extend model
>
> ----------------------------------------------------------------
Applied, thanks.
-- PMM