Processing commands for cont...@bugs.debian.org: > retitle 902774 jetty9: CVE-2017-7656 CVE-2017-7657 CVE-2017-7658 > CVE-2018-12536 Bug #902774 [jetty9] jetty9: CVE-2017-7656 CVE-2017-7657 CVE-2017-7658 CVE-2018-12536 CVE-2018-12538 Changed Bug title to 'jetty9: CVE-2017-7656 CVE-2017-7657 CVE-2017-7658 CVE-2018-12536' from 'jetty9: CVE-2017-7656 CVE-2017-7657 CVE-2017-7658 CVE-2018-12536 CVE-2018-12538'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 902774: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902774 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems