Processed: severity of 1072123 is grave

Processing commands for cont...@bugs.debian.org: > severity 1072123 grave Bug #1072123 [src:jayway-jsonpath] jayway-jsonpath: CVE-2023-51074 Ignoring request to change severity of Bug 1072123 to the same value. > thanks Stopping processing here. Please contact me if you need assistance. -- 10721

Processed: severity of 1072123 is grave

Processing commands for cont...@bugs.debian.org: > severity 1072123 grave Bug #1072123 [src:jayway-jsonpath] jayway-jsonpath: CVE-2023-51074 Severity set to 'grave' from 'important' > thanks Stopping processing here. Please contact me if you need assistance. -- 1072123: https://bugs.debian.org/c