Am Fri, 18 May 2018 09:25:07 +0200
schrieb Juergen Gross <jgross@suse.com>:

> debianhvm

The patch is for non-HVM, so perhaps these failures are something else.
To me it was not clear from the faillog what exactly failed.


Olaf