On 12/04/19 20:36, Eduardo Habkost wrote:
> let's deprecate the old -realtime option.
>
> Signed-off-by: Thomas Huth <thuth(a)redhat.com>
Reviewed-by: Eduardo Habkost <ehabkost(a)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