Processed: Re: Bug#231339: [kregexpeditor] Old package libkregexpeditor not removed on upgrade
Processing commands for control@bugs.debian.org:
> package kregexpeditor
Ignoring bugs not assigned to: kregexpeditor
> severity 231339 normal
Bug#231339: [kregexpeditor] Old package libkregexpeditor not removed on upgrade
Severity set to `normal'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: