Package: grub-common Version: 2.00-19 Severity: wishlist File: /usr/bin/grub-editenv
There is create, but no delete. P.S., the info page mentioned is missing. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org