Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is warning is harmless (I'm not aware of any plans to remove `font-lock-syntactic-keywords`) but it has caused concern amongst users. See JuliaLang#9042
- Loading branch information