New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixes #136052 by marking unclosed brackets as invalid. #141644

Merged

hediet merged 1 commit into main from hediet/improve-invalid-bracket-colorization

Feb 1, 2022

Member

hediet commented Jan 27, 2022

This PR fixes #136052


          Fixes #136052 by marking unclosed brackets as invalid.

80823e6

hediet added this to the February 2022 milestone

hediet self-assigned this

hediet merged commit 6c10830 into main

hediet deleted the hediet/improve-invalid-bracket-colorization branch

February 1, 2022 11:47

github-actions bot locked and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.