Processed: reassign 1132517 to grub2-common, forcibly merging 1131558 1132517

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 1132517 grub2-common
Bug #1132517 [src:linux] still in grub menu after uninstallation
Bug reassigned from package 'src:linux' to 'grub2-common'.
Ignoring request to alter found versions of bug #1132517 to the same values previously set
Ignoring request to alter fixed versions of bug #1132517 to the same values previously set
> forcemerge 1131558  1132517
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
Severity set to 'important' from 'normal'
Marked as found in versions grub2/2.14~git20250718.0e36779-2.
Merged 1131558 1132517
> 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