Processed: Re: Bug#1107875: trixie version of GRUB_DISTRIBUTOR generates wrong titles

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 grub-common
Bug #1107875 [grub2-common] trixie version of GRUB_DISTRIBUTOR generates wrong titles
Bug reassigned from package 'grub2-common' to 'grub-common'.
No longer marked as found in versions grub2/2.12-7.
Ignoring request to alter fixed versions of bug #1107875 to the same values previously set
> close -1
Bug #1107875 [grub-common] trixie version of GRUB_DISTRIBUTOR generates wrong titles
Marked Bug as done
> forcemerge 1076723 -1
Bug #1076723 {Done: Felix Zielcke <fzielcke at z-51.de>} [grub-common] grub-common: duplicate GNU/Linux in menuentry and submenu lines of /boot/grub/grub.cfg
Bug #1104197 {Done: Felix Zielcke <fzielcke at z-51.de>} [grub-common] grub-pc: Trixie update-grub produces double "GNU/Linux" in menu entry
Bug #1106034 {Done: Felix Zielcke <fzielcke at z-51.de>} [grub-common] grub-common: In the GRUB boot menu, "GNU/Linux" repeats twice after the word "Debian"
Bug #1107875 {Done: Colin Watson <cjwatson at debian.org>} [grub-common] trixie version of GRUB_DISTRIBUTOR generates wrong titles
Severity set to 'important' from 'minor'
Marked as fixed in versions grub2/2.12-8.
Marked as found in versions grub2/2.12-7 and grub2/2.12-5.
Added tag(s) patch.
Bug #1104197 {Done: Felix Zielcke <fzielcke at z-51.de>} [grub-common] grub-pc: Trixie update-grub produces double "GNU/Linux" in menu entry
Bug #1106034 {Done: Felix Zielcke <fzielcke at z-51.de>} [grub-common] grub-common: In the GRUB boot menu, "GNU/Linux" repeats twice after the word "Debian"
Merged 1076723 1104197 1106034 1107875

-- 
1076723: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1076723
1104197: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1104197
1106034: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1106034
1107875: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1107875
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems