[Pkg-javascript-devel] Processed: bug 1074235 is forwarded to https://github.com/cvc5/cvc5/issues/10813, tagging 1074235 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forwarded 1074235 https://github.com/cvc5/cvc5/issues/10813
Bug #1074235 [src:cvc5] cvc5: CVE-2024-37794 CVE-2024-37795
Set Bug forwarded-to-address to 'https://github.com/cvc5/cvc5/issues/10813'.
> tags 1074235 + upstream
Bug #1074235 [src:cvc5] cvc5: CVE-2024-37794 CVE-2024-37795
Added tag(s) upstream.
> tags 1074228 + upstream
Bug #1074228 [odoo] odoo: CVE-2024-4367 – Arbitrary JavaScript execution in PDF.js
Added tag(s) upstream.
> tags 1074233 + upstream
Bug #1074233 [src:slic3r-prusa] slic3r-prusa: CVE-2024-24686 CVE-2024-24685 CVE-2024-24684 CVE-2024-24584 CVE-2024-24583 CVE-2024-23951 CVE-2024-23950 CVE-2024-23949 CVE-2024-23948 CVE-2024-23947 CVE-2024-22181 CVE-2023-49600 CVE-2023-35953 CVE-2023-35952 CVE-2023-35951 CVE-2023-35950 CVE-2023-35949
Added tag(s) upstream.
> tags 1074234 + upstream
Bug #1074234 [src:scikit-learn] scikit-learn: CVE-2024-5206
Added tag(s) upstream.
> tags 1074236 + upstream
Bug #1074236 [src:node-ws] node-ws: CVE-2024-37890
Added tag(s) upstream.
> forwarded 1074236 https://github.com/websockets/ws/issues/2230
Bug #1074236 [src:node-ws] node-ws: CVE-2024-37890
Set Bug forwarded-to-address to 'https://github.com/websockets/ws/issues/2230'.
> thanks
Stopping processing here.

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