Skip to content

Escape punctuation in UpdateHeuristic.toFlexibleRegex#1945

Merged
fthomas merged 2 commits intomasterfrom topic/escape-punctuationFeb 18, 2021

Commits

Commits on Feb 18, 2021