Skip to content

Ppx dependencies aren't just build time dependencies#625

Merged
rgrinberg merged 1 commit into
mirage:masterfrom
rgrinberg:fix-deps-master
Jul 8, 2018
Merged

Ppx dependencies aren't just build time dependencies#625
rgrinberg merged 1 commit into
mirage:masterfrom
rgrinberg:fix-deps-master

Commits

Commits on Jul 7, 2018