Skip to content

Revert: remove reparsing of longident to index modules in paths#1772

Merged
voodoos merged 1 commit intoocaml:masterfrom voodoos:remove-mod-in-paths-hackMay 17, 2024

Commits

Commits on May 17, 2024