Skip to content

Make google-re2 a requirement, not an optional dependency#119

Merged
slott56 merged 1 commit intomainfrom
issue110
Jul 11, 2025
Merged

Make google-re2 a requirement, not an optional dependency#119
slott56 merged 1 commit intomainfrom
issue110

Commits

Commits on Jul 11, 2025