v2.5.2rc1

Ansgar Burchardt

@ansgar

7ae09a4b · Merge branch 'cherry-pick-ad88bb32' into 'releases/2.5' · Sep 27, 2017

Unverified

dune-localfunctions 2.5.2rc1