Processed: reassign 538874 to kdebase-workspace

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

Processing commands for control@bugs.debian.org:

> reassign 538874 kdebase-workspace
Bug #538874 [kdebase] kdebase: kde panel fails to autohide after plugging in a device
Bug reassigned from package 'kdebase' to 'kdebase-workspace'.
Bug #538874 [kdebase-workspace] kdebase: kde panel fails to autohide after plugging in a device
Bug No longer marked as found in versions kdebase/4:4.2.4-1.
Bug #538874 [kdebase-workspace] kdebase: kde panel fails to autohide after plugging in a device
Ignoring request to alter fixed versions of bug #538874 to the same values previously set
>
End of message, stopping processing here.

Please contact me if you need assistance.

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