On Mon, Jul 02, 2018 at 11:41:52AM +0200, David Hildenbrand wrote: > Machines might have inititalized device_memory if they support memory > devices, so let's properly free it. > > Signed-off-by: David Hildenbrand <da...@redhat.com>
Queued, thanks. -- Eduardo
