Processing commands for [email protected]: > 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 [email protected] with problems
