Processed: Re: Bug#846410: kdevelop crahses when starting (5.0.1)

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

Processing commands for control@bugs.debian.org:

> tag 846410 unreproducible moreinfo
Bug #846410 [kdevelop] kdevelop crahses when starting (5.0.1)
Added tag(s) moreinfo and unreproducible.
> severity 846410 important
Bug #846410 [kdevelop] kdevelop crahses when starting (5.0.1)
Severity set to 'important' from 'grave'
> thanks
Stopping processing here.

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