automata: fix incorrect offsets reported by reverse inner optimization#1063
Merged
BurntSushi merged 1 commit intomasterfrom Aug 5, 2023
Merged
automata: fix incorrect offsets reported by reverse inner optimization#1063BurntSushi merged 1 commit intomasterfrom
BurntSushi merged 1 commit intomasterfrom