Processing commands for [email protected]: > reassign 1131558 src:linux 6.19.8-1 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 Bug reassigned from package 'grub2-common' to 'src:linux'. Bug reassigned from package 'grub2-common' to 'src:linux'. Bug reassigned from package 'grub2-common' to 'src:linux'. No longer marked as found in versions grub2/2.14~git20250718.0e36779-2. No longer marked as found in versions grub2/2.14~git20250718.0e36779-2. No longer marked as found in versions grub2/2.14~git20250718.0e36779-2. Ignoring request to alter fixed versions of bug #1131558 to the same values previously set Ignoring request to alter fixed versions of bug #1132517 to the same values previously set Ignoring request to alter fixed versions of bug #1132888 to the same values previously set Bug #1131558 [src:linux] grub2-common: zz-update-grub should run update-grub after linux-binary removal, too Bug #1132517 [src:linux] still in grub menu after uninstallation Bug #1132888 [src:linux] linux-image-*: postrm scripts run while kernel image file is still present Marked as found in versions linux/6.19.8-1. Marked as found in versions linux/6.19.8-1. Marked as found in versions linux/6.19.8-1. > affects 1131558 - src:linux Bug #1131558 [src:linux] grub2-common: zz-update-grub should run update-grub after linux-binary removal, too Bug #1132517 [src:linux] still in grub menu after uninstallation Bug #1132888 [src:linux] linux-image-*: postrm scripts run while kernel image file is still present Removed indication that 1131558 affects src:linux Removed indication that 1132517 affects src:linux Removed indication that 1132888 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 1132888: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1132888 Debian Bug Tracking System Contact [email protected] with problems
