Skip to content

Warn on duplicate #suppress directives on the same node#11113

Open
timotheeguerin with Copilot wants to merge 5 commits into
mainfrom
copilot/add-warning-on-double-suppression
Open

Warn on duplicate #suppress directives on the same node#11113
timotheeguerin with Copilot wants to merge 5 commits into
mainfrom
copilot/add-warning-on-double-suppression

Commits

Commits on Jun 30, 2026