Skip to content

Remove severity-number exporter patch; map severity at emit time - #119

Merged
jrothrock merged 5 commits into
mainfrom
fix-severity-number-remove-patch
Oct 19, 2026
Merged

jrothrock merged 5 commits into
mainfrom
fix-severity-number-remove-patch

Commits

  1. Commits on Oct 16, 2026

  2. Commits on Oct 19, 2026