debian/2.7_20200605-1

Ansgar

@ansgar

d83edde4 · d/changelog: fix version number · Jun 10, 2020

tagging package dune-pdelab version debian/2.7_20200605-1