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
Severity set to 'important' from 'serious'

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