Processing commands for [EMAIL PROTECTED]: > severity 42242 fixed Bug#42242: grub: GRUB no longer includes HTML documentation Bug#42273: Documentation files removed in update of grub Severity set to `fixed'. > severity 42273 fixed Bug#42273: Documentation files removed in update of grub Bug#42242: grub: GRUB no longer includes HTML documentation Severity set to `fixed'. > severity 67132 fixed Bug#67132: grub info file says grub shell is in /sbin Severity set to `fixed'. > severity 71661 fixed Bug#71661: bug: grub should be more verbose Severity set to `fixed'. > quit Stopping processing here. Please contact me if you need assistance. Darren Benham (administrator, Debian Bugs database) _______________________________________________ Bug-grub mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-grub
