Skip to content

Conversation

@gandarez
Copy link
Contributor

This PR avoids duplicity at global lexers. Sometimes lexers could be registered by the client and to avoid any incosistence between the same one a function add was implemented.

@alecthomas alecthomas merged commit efd5efa into alecthomas:master Aug 24, 2023
@gandarez gandarez deleted the feature/register-lexer branch August 24, 2023 12:29
@jmooring jmooring mentioned this pull request Sep 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants