v2.5.2 protected

Ansgar Burchardt

@ansgar

29a52d7b · Merge branch 'feature/prepare-for-2.5.2' into 'releases/2.5' · Apr 24, 2018

Unverified

dune-typetree 2.5.2