Skip to content

feature / #87 toggle severity with status bar item - #92

Merged
davidramnero merged 3 commits into
mainfrom
feature/#87-toggle-severity-with-status-bar-item
Jul 25, 2026
Merged

feature / #87 toggle severity with status bar item#92
davidramnero merged 3 commits into
mainfrom
feature/#87-toggle-severity-with-status-bar-item

Commits

Commits on Jul 24, 2026