Processed: Re: Bug#462449: grub-pc: GRUB_FONT_PATH unread

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 462449 important
Bug#462449: grub-pc: GRUB_FONT_PATH unread
Severity set to `important' from `critical'

> retitle 462449 ext4 mistakenly identified as supported (by grub-probe)
Bug#462449: grub-pc: GRUB_FONT_PATH unread
Changed Bug title to `ext4 mistakenly identified as supported (by grub-probe)' from `grub-pc: GRUB_FONT_PATH unread'.

> clone 462449 -1
Bug#462449: ext4 mistakenly identified as supported (by grub-probe)
Bug 462449 cloned as bug 462461.

> retitle -1 support for ext4
Bug#462461: ext4 mistakenly identified as supported (by grub-probe)
Changed Bug title to `support for ext4' from `ext4 mistakenly identified as supported (by grub-probe)'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)