Processed: hello dolly

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

Processing commands for control@bugs.debian.org:

> clone 408767 -1
Bug#408767: kde mount removable media without iocharset and ignore HAL mountoptions
Bug 408767 cloned as bug 513876.

> reassign -1 kdelibs5
Bug#513876: kde mount removable media without iocharset and ignore HAL mountoptions
Bug reassigned from package `kdebase-kio-plugins' to `kdelibs5'.

> tag -1 -patch
Bug#513876: kde mount removable media without iocharset and ignore HAL mountoptions
Tags were: patch
Tags removed: patch

> --
Stopping processing here.

Please contact me if you need assistance.

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