1. 2014-05-27 Re: [PATCH 2/2] Allow user-defined functions to override builtins. [take grub-devel Glenn Washburn 2. 2014-05-22 Re: [PATCH 2/2] Allow user-defined functions to override builtins. [take grub-devel Michel Hermier 3. 2014-05-22 [PATCH 2/2] Allow user-defined functions to override builtins. [take 2] grub-devel Glenn Washburn