On Sat, May 11, 2019 at 08:41:20PM +0200, andr...@rammhold.de wrote: > On 13:30 10.05.19, Daniel Kiper wrote: > > I am OK with the idea but the patch requires polishing and maybe splitting > > into two or more. And certainly it is not a release material. > > Thanks for the feedback. Do you have some specific points that you would > like to see addressed? I certainly want the mentioned command line
Nothing in particular. Just the patch seems to simple for me... OK, this is an RFC, so, maybe that is a problem. Anyway, please post full version and then I will take a closer look. > switches to opt-in to the feature and write the documentation pieces. Yeah, that is good idea. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
