Skip to content

Allow changing a DFA's prefilter after it's already been created#1226

Merged
BurntSushi merged 1 commit intorust-lang:masterfrom
ideka:master
Aug 24, 2025
Merged

Allow changing a `DFA`'s prefilter after it's already been created#1226
BurntSushi merged 1 commit intorust-lang:masterfrom
ideka:master

Commits

Commits on Aug 24, 2025