[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: your mail



Processing commands for control@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 owner@bugs.debian.org with problems


Reply to: