Processed: retitle 1034799 to nvidia-cuda-toolkit: CVE-2023-25512, found 1034799 in 4.0.13-1 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # the other three CVEs are tracked in #1034793
> retitle 1034799 nvidia-cuda-toolkit: CVE-2023-25512
Bug #1034799 [src:nvidia-cuda-toolkit] nvidia-cuda-toolkit: CVE-2023-25510 CVE-2023-25511 CVE-2023-25512 CVE-2023-25514
Changed Bug title to 'nvidia-cuda-toolkit: CVE-2023-25512' from 'nvidia-cuda-toolkit: CVE-2023-25510 CVE-2023-25511 CVE-2023-25512 CVE-2023-25514'.
> found 1034799 4.0.13-1
Bug #1034799 [src:nvidia-cuda-toolkit] nvidia-cuda-toolkit: CVE-2023-25512
Marked as found in versions nvidia-cuda-toolkit/4.0.13-1.
> found 1041887 4.0.13-1
Bug #1041887 {Done: Salvatore Bonaccorso <carnil at debian.org>} [src:nvidia-cuda-toolkit] nvidia-cuda-toolkit: CVE-2023-25513
Marked as found in versions nvidia-cuda-toolkit/4.0.13-1.
> thanks
Stopping processing here.

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