Re: [virtio-comment] [PATCH] virtio-blk: typo: Capitalization in Device Initialization item

On Mon, Oct 14, 2019 at 10:56:10AM +0200, Eugenio Perez Martin wrote:
> Ok, all the future patches will have the correspond github issue.

Actually, in another recent thread Michael Tsirkin said there is an
exception for typo fixes.  They don't require a vote and he can merge
them directly.  I think in the case of this patch series all that was
required was a ping email in case Michael forgot about this patch.

Stefan