Processed: affects 1131558

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> affects 1131558 + src:linux
Bug #1131558 [grub2-common] grub2-common: zz-update-grub should run update-grub after linux-binary removal, too
Bug #1132517 [grub2-common] still in grub menu after uninstallation
Added indication that 1131558 affects src:linux
Added indication that 1132517 affects src:linux
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1131558: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1131558
1132517: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1132517
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems