Processed:

[Debian Bug Tracking System]

Processing commands for [EMAIL PROTECTED]:

> severity 42705 fixed
Bug#42705: grub: should install-info
Bug#42919: grub: grub info files are inaccessible
Bug#43080: grub: info files are not installed
Bug#45150: grub: grub info problems
Severity set to `fixed'.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Darren Benham
(administrator, Debian Bugs database)