Skip to content

Simplify the Regex construction#118

Merged
mgeisler merged 1 commit into
masterfrom
simplify-regex-construction
Dec 5, 2021
Merged

Simplify the Regex construction#118
mgeisler merged 1 commit into
masterfrom
simplify-regex-construction

Conversation

@mgeisler
Copy link
Copy Markdown
Owner

@mgeisler mgeisler commented Dec 5, 2021

No description provided.

@mgeisler mgeisler enabled auto-merge December 5, 2021 09:01
@mgeisler mgeisler merged commit 5d5bbc8 into master Dec 5, 2021
@mgeisler mgeisler deleted the simplify-regex-construction branch December 5, 2021 09:05
@github-actions github-actions Bot mentioned this pull request Dec 12, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant