Subject: Re: bug#26544: [PATCH v2 8/8] system: grub: Use boot-parameters instead of menu-entry where possible.

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

> (reinstall-grub): Use profile-boot-parameters.
> (perform-action): Use profile-boot-parameters.

profile-grub-entries is now unsued, this serie could remove it.