Processed: console-tools in base

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> merge 47912 47913
Bug#47912: console-tools: Priority required causes dselect problems on serial console machines
Bug#47913: console-tools-libs: Priority required causes dselect problems on serial console machines
Mismatch - only  in same state can be merged:
Values for `package' don't match:
 #47912 has `console-tools';
 #47913 has `console-tools-libs'

> reassign 47912 boot-floppies
Bug#47912: console-tools: Priority required causes dselect problems on serial console machines
Bug reassigned from package `console-tools' to `boot-floppies'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Darren Benham
(administrator, Debian Bugs database)