Skip to content

automata: replace uses of deprecated module integer constants - #1385

Merged
BurntSushi merged 1 commit into
masterfrom
ag/fix-lint
Aug 10, 2026
Merged

automata: replace uses of deprecated module integer constants#1385
BurntSushi merged 1 commit into
masterfrom
ag/fix-lint