Processed: Re: Bug#408571: FC4 not detected correctly

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> clone 408571 -1 -2 -3
Bug#408571: FC4 not detected correctly
Bug 408571 cloned as bugs 411526-411528.

> retitle -1 Should support separate /boot shared with existing OS
Bug#411526: FC4 not detected correctly
Changed Bug title.

> reassign -2 grub
Bug#411527: FC4 not detected correctly
Bug reassigned from package `os-prober' to `grub'.

> retitle -2 FindInitrdName() should also check for 'initrd$version.img'
Bug#411527: FC4 not detected correctly
Changed Bug title.

> severity -2 wishlist
Bug#411527: FindInitrdName() should also check for 'initrd$version.img'
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)