Tags give the ability to mark specific points in history as being important
Before upstream merge 2017-05
Branch for the couse in Heidelberg in March 2012.
Tagging the 2.1.1 release of the dune-localfunctions module.
release tag
patch 884 (fixing paths in Makefiles) merged from the trunk