On Wed, 2016-04-06 at 13:24 +0200, Jiri Denemark wrote: > > So can I amend the commit with your proposed version > > and push it? > > Yeah, thanks. Done, thanks :) -- Andrea Bolognani Software Engineer - Virtualization Team