Processed: Re: Bug#796795: grub-pc-bin: Please use a bigger font

Debian Bug Tracking System owner at bugs.debian.org
Mon Oct 8 19:39:03 BST 2018


Processing control commands:

> severity -1 important
Bug #796795 [grub-pc-bin] grub-pc-bin: Please use a bigger font
Severity set to 'important' from 'normal'

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



More information about the Pkg-grub-devel mailing list