Skip to content

Improve regex used in dev script#1210

Merged
antho1404 merged 1 commit intodevfrom
feature/improve_dev_script_regex
Aug 9, 2019
Merged

Improve regex used in dev script#1210
antho1404 merged 1 commit intodevfrom
feature/improve_dev_script_regex

Conversation

@NicolasMahe
Copy link
Copy Markdown
Member

No description provided.

@NicolasMahe NicolasMahe added this to the next milestone Aug 9, 2019
@NicolasMahe NicolasMahe added the enhancement New feature or request label Aug 9, 2019
@NicolasMahe NicolasMahe self-assigned this Aug 9, 2019
@antho1404 antho1404 merged commit 679468c into dev Aug 9, 2019
@antho1404 antho1404 deleted the feature/improve_dev_script_regex branch August 9, 2019 09:45
@NicolasMahe NicolasMahe modified the milestones: next, v0.13.0 Aug 16, 2019
@NicolasMahe NicolasMahe added the release:fix Pull requests that fix something label Aug 16, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request release:fix Pull requests that fix something

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants