Skip to content

Restrict ignore-mode-* directives#131346

Merged
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:prune-invalid-directives
Oct 7, 2024
Merged

Restrict `ignore-mode-*` directives#131346
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:prune-invalid-directives

Commits

Commits on Oct 7, 2024