Skip to content

Change implicit_transive_deps to be false for 2.0#2306

Merged
rgrinberg merged 1 commit intoocaml:masterfrom rgrinberg:implicit-transitive-depsJun 21, 2019
+10-2

Commits

Commits on Jun 21, 2019