Processed: Re: Bug#491872: grub-pc: dual boot needs OS-prober

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> block 491872 by 476184
Bug#476184: os-prober: Mounted partitions after running update-grub
Bug#491872: grub-pc: dual boot needs OS-prober
Was not blocked by any bugs.
Blocking bugs of 491872 added: 476184

> severity 491872 wishlist
Bug#491872: grub-pc: dual boot needs OS-prober
Severity set to `wishlist' from `normal'

> thanks
Stopping processing here.

Please contact me if you need assistance.

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