Processed: reassign 1131558 to src:linux, affects 1131558

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> 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 owner at bugs.debian.org with problems