Re: [PATCH v7 0/7] DEVICE_UNPLUG_GUEST_ERROR QAPI event

[Markus Armbruster]

Not yet merged.  David, would you like to do the pull request?