Processed: please add a tool to convert device names into GRUB drives.

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> unblock 462218 by 461442
Bug#461442: please add support for os-prober to detect other OSes in update-grub
Bug#462218: please add a tool to convert device names into GRUB drives
Was blocked by: 461442
Blocking bugs of 462218 removed: 461442

> thanks
Stopping processing here.

Please contact me if you need assistance.

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