v2.5.2

Ansgar Burchardt

@ansgar

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

Unverified

dune-localfunctions 2.5.2