Dedication for Elias
Just to make sure we don't forget.
See http://lists.dune-project.org/pipermail/dune-devel/2017-October/002291.html. The way the changelogs work now, it should probably go into dune-common's CHANGELOG.md in the top of the 2.6 section.