I'll track your patches. If everyone comes to a consensus on them in a week I'll commit them to the repo.
I agree with Pavel also that using "Ctrl-<key>" is more descriptive then what is there now. What other patches where you going to submit like this? On Mon, Dec 29, 2008 at 8:09 PM, <[email protected]> wrote: > >>>>> "j" == jidanni <[email protected]> writes: > > j> OK, Pavel Roskin's suggestions sound great. I leave this in your hands. > > However, will these patches I sent this week be used, or > slowly > forgotten > ? > > > _______________________________________________ > Grub-devel mailing list > [email protected] > http://lists.gnu.org/mailman/listinfo/grub-devel >
_______________________________________________ Grub-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/grub-devel
