revert recent regex-syntax interval set optimizations#1102
Merged
BurntSushi merged 2 commits intomasterfrom Oct 11, 2023
Merged
revert recent regex-syntax interval set optimizations#1102BurntSushi merged 2 commits intomasterfrom
BurntSushi merged 2 commits intomasterfrom