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, <jida...@jidanni.org> wrote: > >>>>> "j" == jidanni <jida...@jidanni.org> 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 > Grub-devel@gnu.org > http://lists.gnu.org/mailman/listinfo/grub-devel >
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
