Re: [Qemu-devel] [PULL 0/3] Miscellaneous patches for 2018-06-13

[Peter Maydell]

On 13 June 2018 at 14:10, Markus Armbruster <address@hidden> wrote:
> The following changes since commit 2ab09bf2f9f55b9fb8d2de6eb2ba2a8570e268e2:
>
>   Merge remote-tracking branch 
> 'remotes/kraxel/tags/usb-20180612-pull-request' into staging (2018-06-12 
> 15:34:34 +0100)
>
> are available in the Git repository at:
>
>   git://repo.or.cz/qemu/armbru.git tags/pull-misc-2018-06-13
>
> for you to fetch changes up to 719a30776b94d3da8c613e5047414f483d40256d:
>
>   Purge uses of banned g_assert_FOO() (2018-06-13 13:47:35 +0200)
>
> ----------------------------------------------------------------
> Miscellaneous patches for 2018-06-13
>
> ----------------------------------------------------------------
> Markus Armbruster (2):
>       Revert "Makefile: add target to print generated files"
>       Purge uses of banned g_assert_FOO()
>
> Paolo Bonzini (1):
>       coverity-model: replay data is considered trusted
>

Applied, thanks.

-- PMM