1. 2019-05-10 Re: [PATCH] Fix error message about the wrong command grub-deve Vincent Legoll 2. 2019-05-10 Re: [PATCH] Fix error message about the wrong command grub-deve Daniel Kiper 3. 2019-04-27 [PATCH] Fix error message about the wrong command hav grub-deve Vincent Legoll