On 12/04/19 20:36, Eduardo Habkost wrote: >> let's deprecate the old -realtime option. >> >> Signed-off-by: Thomas Huth <th...@redhat.com> > Reviewed-by: Eduardo Habkost <ehabk...@redhat.com> > > Paolo, do you want to queue this, or should I do it through the > machine queue? > > -- Eduardo
I have just queued it. Paolo