Closed jaredpetersen closed 9 years ago
This fixes the diamond bug highlighting issue in previous pull request #135.
Thanks!
This fixes the diamond bug highlighting issue in previous pull request #135.