Processing commands for cont...@bugs.debian.org: > # > # bts-link upstream status pull for source package src:cvc5 > # see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html > # https://bts-link-team.pages.debian.net/bts-link/ > # > user debian-bts-l...@lists.debian.org Setting user to debian-bts-l...@lists.debian.org (was debian-bts-l...@lists.debian.org). > # remote status report for #1074235 (http://bugs.debian.org/1074235) > # Bug title: cvc5: CVE-2024-37794 CVE-2024-37795 > # * https://github.com/cvc5/cvc5/issues/10813 > # * remote status changed: (?) -> closed > # * closed upstream > tags 1074235 + fixed-upstream Bug #1074235 [src:cvc5] cvc5: CVE-2024-37794 CVE-2024-37795 Added tag(s) fixed-upstream. > usertags 1074235 + status-closed There were no usertags set. Usertags are now: status-closed. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1074235: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1074235 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers