Processed: found 913467 in 390.87-1, found 913467 in 390.87-3, notfound 913467 in 390.87

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 913467 390.87-1
Bug #913467 [src:nvidia-graphics-drivers] nvidia-graphics-drivers: CVE‑2018‑6260: access to application data processed on the GPU through a side channel exposed by the GPU performance counters
Marked as found in versions nvidia-graphics-drivers/390.87-1.
> found 913467 390.87-3
Bug #913467 [src:nvidia-graphics-drivers] nvidia-graphics-drivers: CVE‑2018‑6260: access to application data processed on the GPU through a side channel exposed by the GPU performance counters
Marked as found in versions nvidia-graphics-drivers/390.87-3.
> notfound 913467 390.87
Bug #913467 [src:nvidia-graphics-drivers] nvidia-graphics-drivers: CVE‑2018‑6260: access to application data processed on the GPU through a side channel exposed by the GPU performance counters
The source 'nvidia-graphics-drivers' and version '390.87' do not appear to match any binary packages
No longer marked as found in versions nvidia-graphics-drivers/390.87.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
913467: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=913467
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems