Skip to content

dfa: fix bug in how the reverse DFA is called#970

Merged
BurntSushi merged 1 commit intomasterfrom
ag/fix-i969
Mar 25, 2023

Commits

Commits on Mar 24, 2023