On Fri, Jun 26, 2015 at 6:41 AM, Pedro Caetano
<[email protected]> wrote:
> After applying this patch i was able to get the machines booting!

Thanks for the confirmation; committed!

Philip Guenther

Reply via email to