On Tue, 16 Jul 2019 at 05:52, Markus Armbruster <armbru@redhat.com> wrote:
>
> The following changes since commit 5ea8ec2fcf57cb9af24ad2cf17b4d64adb03afdf:
>
> Merge remote-tracking branch 'remotes/maxreitz/tags/pull-block-2019-07-15' into staging (2019-07-15 16:11:47 +0100)
>
> are available in the Git repository at:
>
> git://repo.or.cz/qemu/armbru.git tags/pull-build-2019-07-15
>
> for you to fetch changes up to 32481687e1a262a9ca0083f8e938d7b0614d823b:
>
> qemu-tech: Fix dangling @menu entries (2019-07-15 21:10:29 +0200)
>
> ----------------------------------------------------------------
> Build system and documentation patches for 2019-07-15
>
> ----------------------------------------------------------------
> Markus Armbruster (3):
> Makefile: Fix "make install" when "make all" needs work
> Makefile: Fix missing dependency of on qemu-tech.texi
> qemu-tech: Fix dangling @menu entries
Applied, thanks.
Please update the changelog at https://wiki.qemu.org/ChangeLog/4.1
for any user-visible changes.
-- PMM