Skip to content

fix(coq): Fix performance regression in coqdep unescaping#10115

Merged
ejgallego merged 1 commit intoocaml:mainfrom ejgallego:fix_perf_coqdep_parsingFeb 22, 2024

Commits

Commits on Feb 22, 2024