v2.5.0 protected

Ansgar Burchardt

@ansgar

5ef0edba · Merge branch 'feature/prepare-for-2.5.0' into 'releases/2.5' · Dec 18, 2016

Unverified

dune-typetree 2.5.0