On Tue, 16 Jul 2019 at 05:52, Markus Armbruster <arm...@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
