No matches were found for subject:"Bug#851893\: The availability of update\-grub does not imply that GRUB is used"