Skip to content

Report excluded usages via error tip instead of message suffix#360

Draft
ruudk wants to merge 1 commit into
shipmonk-rnd:masterfrom
ruudk:excluder-to-error-tip
Draft

Report excluded usages via error tip instead of message suffix#360
ruudk wants to merge 1 commit into
shipmonk-rnd:masterfrom
ruudk:excluder-to-error-tip

Report excluded usages via error tip instead of message suffix

6100a6d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
xml-linter
succeeded May 15, 2026 in 18s