`ERA001`: Ignore script-comments with multiple end-tags#13283

Merged

MichaReiser merged 1 commit intomainfrom micha/fix-script-comment-era001

Sep 9, 2024

+211-27

Commits on Sep 8, 2024

ERA001: Fix skipping over script-comments with multiple end-tags
MichaReiser
committed