On Thu, Jan 14, 2021 at 02:05:06PM +0000, Stefan Hajnoczi wrote: > On Mon, Jan 04, 2021 at 04:02:26PM -0500, Eduardo Habkost wrote: > > Is anybody already going to merge this? If not, I can merge it. > > Great, thank you for merging it, Eduardo!
I had just queued the patches, but I will be able to send a pull request only next Monday. Sorry for the delay! -- Eduardo
