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