Processed: Re: Bug#788724: [src:jenkins-json] Some sources are not included in your package

[Debian Bug Tracking System]

Processing control commands:

> severity -1 important
Bug #788724 [src:jenkins-json] [src:jenkins-json] Some sources are not included in your package
Ignoring request to change severity of Bug 788724 to the same value.

-- 
788724: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=788724
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems