Processed: Re: Bug#774141: kdevelop-python should be renamed kdevelop-python3

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

Processing commands for control@bugs.debian.org:

> severity 774141 wishlist
Bug #774141 [kdevelop-python] kdevelop-python should be renamed kdevelop-python3
Severity set to 'wishlist' from 'normal'
> tag 774141 + wontfix
Bug #774141 [kdevelop-python] kdevelop-python should be renamed kdevelop-python3
Added tag(s) wontfix.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
774141: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=774141
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems