Processed: Re: Bug#372890: No man page for grub-setup

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 372890 grub2
Bug#372890: No man page for grub-setup
Warning: Unknown package 'grub-setup'
Bug reassigned from package `grub-setup' to `grub2'.

> --
Stopping processing here.

Please contact me if you need assistance.

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