Re: [virtio-dev] Re: [virtio] [PATCH] VIRTIO-55: Add a reserved ID for GPU devices

[Rusty Russell <rusty@au1.ibm.com>]

"Michael S. Tsirkin" <mst@redhat.com> writes:
> On Thu, Jan 30, 2014 at 10:10:38AM +0000, Paul Mundt wrote:
>> As existing work on virtio-gpu is using device ID 16, reflect this in
>> the spec. This closes out VIRTIO-55.
>> 
>> Signed-off-by: Paul Mundt <paul.mundt@huawei.com>
>
> Cc Dave who uses this just to make sure he doesn't
> change it now.
>
> Otherwise
>
> Acked-by: Michael S. Tsirkin <mst@redhat.com>

Hi Paul,

        Just to remind everyone, when a patch to the mailing list
reaches consensus, please mark the associated bug report as Open.  I
produce the agenda from that list.  (I've done this for virtio-55 now).

(And we have the standing order that anyone can commit trivial fixes
and cleanups, which I also add to agenda for review or revert next
meeting).

Thanks,
Rusty,