* util/grub-editenv.c (help_filter, argp): Document how to delete

the whole environment block.
Reported by Dan Jacobson.  Fixes Debian bug #726265.
This commit is contained in:
Colin Watson 2013-11-13 02:15:57 +00:00
parent 3809f0163b
commit d0d1e3dacb
2 changed files with 10 additions and 2 deletions

View file

@ -1,3 +1,9 @@
2013-11-13 Colin Watson <cjwatson@ubuntu.com>
* util/grub-editenv.c (help_filter, argp): Document how to delete
the whole environment block.
Reported by Dan Jacobson. Fixes Debian bug #726265.
2013-11-13 Colin Watson <cjwatson@ubuntu.com>
* docs/grub.texi (Internationalisation, Supported kernels): Fix