Processing commands for cont...@bugs.debian.org:
> user debian...@lists.debian.org
Setting user to debian...@lists.debian.org (was a...@debian.org).
> usertags 964274 piuparts
There were no usertags set.
Usertags are now: piuparts.
> fixed 964274 0.1.2-1+deb9u1
Bug #964274 {Done: Pirate Praveen <prav...@debian.org>}
[src:ruby-websocket-extensions] ruby-websocket-extensions: CVE-2020-7663
The source 'ruby-websocket-extensions' and version '0.1.2-1+deb9u1' do not
appear to match any binary packages
Marked as fixed in versions ruby-websocket-extensions/0.1.2-1+deb9u1.
> usertags 985220 piuparts
There were no usertags set.
Usertags are now: piuparts.
> fixed 985220 1.7-5+deb9u1
Bug #985220 {Done: tony mancill <tmanc...@debian.org>} [src:velocity] velocity:
CVE-2020-13936
The source 'velocity' and version '1.7-5+deb9u1' do not appear to match any
binary packages
Marked as fixed in versions velocity/1.7-5+deb9u1.
> affects 985220 + velocity-doc
Bug #985220 {Done: tony mancill <tmanc...@debian.org>} [src:velocity] velocity:
CVE-2020-13936
Added indication that 985220 affects velocity-doc
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
964274: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=964274
985220: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=985220
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
