Skip to content

Conversation

JimmyLv
Copy link

@JimmyLv JimmyLv commented Jul 10, 2018

No description provided.

@xiang578
Copy link

xiang578 commented Sep 19, 2018

This RP will merge to master ?I like this feature @vovkkk

@vovkkk
Copy link
Collaborator

vovkkk commented Sep 20, 2018

Sure, I’ll merge it as soon as the author resolve the issue discussed above, or we can continue the discussion if there are any misunderstandings.

@dhilowitz
Copy link
Contributor

dhilowitz commented May 9, 2019

I would also love this feature.

Copy link
Author

@JimmyLv JimmyLv left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Already updated to (?:\*\s)?

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.

4 participants