[DRE-maint] Processed: user debian-qa at lists.debian.org, usertagging 964274, fixed 964274 in 0.1.2-1+deb9u1 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user debian-qa at lists.debian.org
Setting user to debian-qa at lists.debian.org (was anbe at 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 <praveen at 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 <tmancill at 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 <tmancill at 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 owner at bugs.debian.org with problems