Bug#914349: marked as done (grub-customizer: should hint that it enhances grub-pc grub-efi-ia32 grub-efi-amd64 etc.)

2022-07-12 Thread Debian Bug Tracking System
Your message dated Tue, 12 Jul 2022 19:33:49 + with message-id and subject line Bug#914349: fixed in grub-customizer 5.2.1-1 has caused the Debian Bug report #914349, regarding grub-customizer: should hint that it enhances grub-pc grub-efi-ia32 grub-efi-amd64 etc. to be marked as done. This

Bug#1010165: marked as done (grub-customizer: Inappropriate package, modifies other package's (conf) files, should be removed from archive)

2022-07-12 Thread Debian Bug Tracking System
Your message dated Tue, 12 Jul 2022 19:33:49 + with message-id and subject line Bug#1010165: fixed in grub-customizer 5.2.1-1 has caused the Debian Bug report #1010165, regarding grub-customizer: Inappropriate package, modifies other package's (conf) files, should be removed from archive to b