Skip to content

Fix dependencies incorrectly dropped when specified with select#2665

Merged
rgrinberg merged 1 commit intoocaml:masterfrom rgrinberg:fix-requires-listSep 23, 2019
+9-3

Commits

Commits on Sep 23, 2019