Uh oh!
There was an error while loading. Please reload this page.
This repository was archived by the owner on Apr 16, 2026. It is now read-only.
bugfix: highlight line by severity code - #6708
Merged
marijnh merged 2 commits intoJun 14, 2021
Merged