Numbers in option names highlighted wrong
y opened this issue · 1 comments
y commented
From #18
Please reopen the issue if I got something wrong..
Users aren't allowed to re-open issues if they don't have permissions on the github repo, so I'm creating a new issue in case you don't notice the comment on the closed issue. See #18 (comment) for more details confirming original issue and a patch.
bruno- commented
Hi, thanks for the notification. I reopened the original issue and will close this one.