Processing commands for [email protected]: > severity 917526 grave Bug #917526 [src:libxsmm] libxsmm: CVE-2018-20541 CVE-2018-20542 Severity set to 'grave' from 'important' > thanks Stopping processing here.
Please contact me if you need assistance. -- 917526: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=917526 Debian Bug Tracking System Contact [email protected] with problems -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
