dune-grid-glue 2.7.0
dune-grid-glue 2.5.0
dune-grid-glue v2.4.0
Release v2.3.1 Containing various build-system-related fixes (and a COPYING file), thanks to Ansgar Burchardt.
First (and possibly only) release in the 2.3 series This is the version that is supposed to go into Debian Jessie.