Subject: Re: bug#26544: [PATCH v4 10/10] scripts: Remove profile-grub-entries.

From: Mathieu Othacehe <[email-masked]>
Date: Fri, 21 Apr 2017 18:11:35 +0200

Hi,

> PATCH v4 06/10 should also fix it.  Doesn't it?  I tested it here and it seems fine.
>
> Or do I misunderstand which problem you mean?

Nope, I just didn't received v4 06/10 when I wrote that, sorry.

I just tested v4 serie (reconfigure, list-generation, switch-generation
and vm), everything seems fine for me !

Thanks,

Mathieu