Subject: control message for bug #33147

From: Noam Postavsky <[email-masked]>
Date: Thu, 25 Oct 2018 18:16:08 -0400

retitle 33147 tex-mode: ${{{{a}}}}$ or more braces not highlighted
severity 33147 minor
quit