Processing commands for cont...@bugs.debian.org: > severity 851893 important Bug #851893 [desktop-base] The availability of update-grub does not imply that GRUB is used Severity set to 'important' from 'serious' > found 851893 9.0.1 Bug #851893 [desktop-base] The availability of update-grub does not imply that GRUB is used Marked as found in versions desktop-base/9.0.1. > notfound 851893 9.0.0 Bug #851893 [desktop-base] The availability of update-grub does not imply that GRUB is used No longer marked as found in versions desktop-base/9.0.0. > End of message, stopping processing here.
Please contact me if you need assistance. -- 851893: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=851893 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
