Processed: merge

[Debian Bug Tracking System]

Processing commands for control@bugs.debian.org:

> merge 223840 259238
Bug#223840: grub + evms reports raid device as not being in the bios, which is true, but shouldn't matter
Bug#259238: Patches for / on RAID
Mismatch - only Bugs in same state can be merged:
Values for `severity' don't match:
 #223840 has `important';
 #259238 has `normal'

> tags 223840 patch
Bug#223840: grub + evms reports raid device as not being in the bios, which is true, but shouldn't matter
There were no tags set.
Tags added: patch

> thanks
Stopping processing here.

Please contact me if you need assistance.

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