Processed: grub2-splashimages: README documentation needs update

Debian Bug Tracking System owner at bugs.debian.org
Sat Aug 29 15:57:07 BST 2020


Processing control commands:

> retitle -1 README documentation needs update
Bug #635545 [grub2-splashimages] README documentation needs update
Bug #613724 [grub2-splashimages] README documentation needs update
Ignoring request to change the title of bug#635545 to the same title
Ignoring request to change the title of bug#613724 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