Fix comment stripping crash on /- inside string literals#20

chanind merged 1 commit into

mainleanprover-community/mathlib-changelog:mainfrom

fix/string-literal-comment-parsingleanprover-community/mathlib-changelog:fix/string-literal-comment-parsingCopy head branch name to clipboard