Processed: grub2-splashimages: README documentation needs update
Debian Bug Tracking System
owner at bugs.debian.org
Sat Aug 29 15:57:05 BST 2020
Processing control commands:
> retitle -1 README documentation needs update
Bug #613724 [grub2-splashimages] README documentation needs update
Bug #635545 [grub2-splashimages] README documentation needs update
Ignoring request to change the title of bug#613724 to the same title
Ignoring request to change the title of bug#635545 to the same title
--
613724: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=613724
635545: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=635545
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
More information about the Pkg-grub-devel
mailing list