Closed djpohly closed 4 years ago
Workaround for #236. Make sure that the colon isn't followed by additional colons the same way we already do for tildes.
Thanks for taking the time to contribute @djpohly. This looks good to me. It's not a panacea for the whole mess but it does seem to help.
Workaround for #236. Make sure that the colon isn't followed by additional colons the same way we already do for tildes.