Re: [PATCH v3 0/3] disable building of pv-grub and qemu-trad per default

[Ian Jackson]

Juergen Gross writes ("Re: [PATCH v3 0/3] disable building of pv-grub and 
qemu-trad per default"):
> I believe patch 1 of my series could go in at any time, as it is just
> fixing a bug.

Oh yes, indeed.  Done.

Ian.