Processed (with 4 errors): Please report your bugs to bugs.kde.org
Processing commands for control@bugs.debian.org:
> Version: 4:4.3.0-1
Unknown command or malformed arguments to command.
> tags 540705 upstream moreinfo
Bug #540705 [kde-full] kde-full: icon size for Panel can't be changed - minimal size too big
Added tag(s) upstream and moreinfo.
> reassign 540705 plasma-widgets-workspace 4:4.2.4-1
Bug #540705 [kde-full] kde-full: icon size for Panel can't be changed - minimal size too big
Bug reassigned from package 'kde-full' to 'plasma-widgets-workspace'.
Bug #540705 [plasma-widgets-workspace] kde-full: icon size for Panel can't be changed - minimal size too big
Ignoring request to alter found versions of bug #540705 to the same values previously set
Bug #540705 [plasma-widgets-workspace] kde-full: icon size for Panel can't be changed - minimal size too big
Ignoring request to alter fixed versions of bug #540705 to the same values previously set
Failed to clear fixed versions and reopen on 540705: The following parameter was passed in the call to Debbugs::Control::set_found but was not listed in the validation options: version
> tags 540710 upstream
Bug #540710 [kde-full] kde-full: task manager: with grouping switching between windows no more works
Added tag(s) upstream.
> reassign 540710 plasma-widgets-workspace 4:4.2.4-1
Bug #540710 [kde-full] kde-full: task manager: with grouping switching between windows no more works
Bug reassigned from package 'kde-full' to 'plasma-widgets-workspace'.
Bug #540710 [plasma-widgets-workspace] kde-full: task manager: with grouping switching between windows no more works
Ignoring request to alter found versions of bug #540710 to the same values previously set
Bug #540710 [plasma-widgets-workspace] kde-full: task manager: with grouping switching between windows no more works
Ignoring request to alter fixed versions of bug #540710 to the same values previously set
Failed to clear fixed versions and reopen on 540710: The following parameter was passed in the call to Debbugs::Control::set_found but was not listed in the validation options: version
> close 540710 4:4.3.0-1
Bug#540710: kde-full: task manager: with grouping switching between windows no more works
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug marked as fixed in version 4:4.3.0-1, send any further explanations to Simon Dreher <simon.dreher@imtek.uni-freiburg.de>
> tags 540712 upstream
Bug #540712 [kde-full] kde-full: task manager: ungrouping leads to unreadable small buttons and, cannot be re-grouped
Added tag(s) upstream.
> reassign 540712 plasma-widgets-workspace 4:4.2.4-1
Bug #540712 [kde-full] kde-full: task manager: ungrouping leads to unreadable small buttons and, cannot be re-grouped
Bug reassigned from package 'kde-full' to 'plasma-widgets-workspace'.
Bug #540712 [plasma-widgets-workspace] kde-full: task manager: ungrouping leads to unreadable small buttons and, cannot be re-grouped
Ignoring request to alter found versions of bug #540712 to the same values previously set
Bug #540712 [plasma-widgets-workspace] kde-full: task manager: ungrouping leads to unreadable small buttons and, cannot be re-grouped
Ignoring request to alter fixed versions of bug #540712 to the same values previously set
Failed to clear fixed versions and reopen on 540712: The following parameter was passed in the call to Debbugs::Control::set_found but was not listed in the validation options: version
> forwarded 540712 https://bugs.kde.org/show_bug.cgi?id=195983
Bug #540712 [plasma-widgets-workspace] kde-full: task manager: ungrouping leads to unreadable small buttons and, cannot be re-grouped
Set Bug forwarded-to-address to 'https://bugs.kde.org/show_bug.cgi?id=195983'.
> close 540712 4:4.3.0-1
Bug#540712: kde-full: task manager: ungrouping leads to unreadable small buttons and, cannot be re-grouped
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug marked as fixed in version 4:4.3.0-1, send any further explanations to Simon Dreher <simon.dreher@imtek.uni-freiburg.de>
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: