Processed: Re: Bug#788724: [src:jenkins-json] Some sources are not included in your package
Debian Bug Tracking System
owner at bugs.debian.org
Sun Jun 14 15:39:06 UTC 2015
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
More information about the pkg-java-maintainers
mailing list