Skip to content

Conversation

@paurkedal
Copy link
Contributor

(This could be merged with the above line, but I think it would make the regex rather complex due to the mandatory space when both the extension and tag are present.)

@mmottl mmottl merged commit 2ebddd0 into ocaml:master Oct 25, 2021
@mmottl
Copy link
Collaborator

mmottl commented Oct 25, 2021

Thanks!

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.

2 participants