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
