tree 859d506edbe6f513b8aa5cf8a84f3779a09ff396
parent 111d4249b9c2bb47b29385b4af8967f9028e44bf
author Bill Wendling <morbo@google.com> 1579039449 -0800
committer Bill Wendling <morbo@google.com> 1579039449 -0800

Honor the 'disable' directive at the end of a multiline comment

Closes #799