pull-build-2019-07-15

armbru@redhat.com

32481687 · qemu-tech: Fix dangling @menu entries · Jul 15, 2019

Build system and documentation patches for 2019-07-15