Skip to content

Do not reset flags for compatibility modules#1382

Merged
rgrinberg merged 2 commits intoocaml:masterfrom rgrinberg:1364Oct 2, 2018

Commits

Commits on Oct 2, 2018