Re: [PATCH] grub-reboot no more sets saved_default

On 10.11.2013 14:37, Andrey Borzenkov wrote: > Remove reference to grub-default from description of saved default entry. > > Also mention that GRUB_DEFAULT=saved depends on availability of environment > block. > Go ahead. Please don't forget the changelogs (you forgot in last patch, please fix) >

[PATCH] grub-reboot no more sets saved_default

Remove reference to grub-default from description of saved default entry. Also mention that GRUB_DEFAULT=saved depends on availability of environment block. --- docs/grub.texi | 7 --- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/docs/grub.texi b/docs/grub.texi index ead8fbd