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

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 1132888 grub2-common
Bug #1132888 [src:linux] linux-image-*: postrm scripts run while kernel image file is still present
Bug reassigned from package 'src:linux' to 'grub2-common'.
Ignoring request to alter found versions of bug #1132888 to the same values previously set
Ignoring request to alter fixed versions of bug #1132888 to the same values previously set
> forcemerge 1131558  1132888
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
Bug #1132888 [grub2-common] linux-image-*: postrm scripts run while kernel image file is still present
Severity set to 'important' from 'normal'
Added indication that 1132888 affects src:linux
Marked as found in versions grub2/2.14~git20250718.0e36779-2.
Bug #1132517 [grub2-common] still in grub menu after uninstallation
Merged 1131558 1132517 1132888
> 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
1132888: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1132888
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems