Merge branch 'feature/fix-changelog-markdown' into 'master' (!100) · Merge requests · Core Modules / dune-localfunctions · GitLab

Carsten Gräser requested to merge cherry-pick-e86aaa16 into releases/2.6 Jan 30, 2018

[doc] Fix markdown

See merge request !97 (merged)

(cherry picked from commit e86aaa16)

5243a5b4 [doc] Fix markdown