v2.5.0rc1

Ansgar Burchardt

@ansgar

7f8924a9 · Merge branch 'cherry-pick-6dbb17fe' into 'releases/2.5' · Nov 20, 2016

Unverified

dune-localfunctions 2.5.0rc1