1. 2014-06-02 Re: [PATCH] Allow user-defined functions to override grub-deve Andrey Borzenkov 2. 2014-05-27 Re: [PATCH] Allow user-defined functions to override grub-deve Glenn Washburn 3. 2014-05-25 Re: [PATCH] Allow user-defined functions to override grub-deve Michel Hermier 4. 2014-05-25 Re: [PATCH] Allow user-defined functions to override grub-deve Vladimir 5. 2014-05-24 Re: [PATCH] Allow user-defined functions to override grub-deve Glenn Washburn 6. 2014-05-22 Re: [PATCH] Allow user-defined functions to override grub-deve Vladimir 7. 2014-05-19 Re: [PATCH] Allow user-defined functions to override grub-deve Ben Hildred 8. 2014-05-19 Re: [PATCH] Allow user-defined functions to override grub-deve Michel Hermier 9. 2014-05-19 [PATCH] Allow user-defined functions to override buil grub-deve Glenn Washburn