Processed: Re: Bug#434697: Default alternative terminal emulator should be x-terminal-emulator; arguably it should be the actual default too

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

Processing commands for control@bugs.debian.org:

> reassign 434697 systemsettings
Bug#434697: kcontrol: Default alternative terminal emulator should be x-terminal-emulator
Bug reassigned from package `kcontrol' to `systemsettings'.

> found 434697 4:4.2.2-1
Bug#434697: kcontrol: Default alternative terminal emulator should be x-terminal-emulator
Bug marked as found in version 4:4.2.2-1.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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