Henning Glawe requested to merge 209-chanelog-is-deleted-by-make-distclean into develop Jul 04, 2019

Description

minor fix to the build system: ChangeLog is managed by git, and should not be removed by 'make distclean'.

Checklist

I have checked that my code follows the Octopus coding standards
I have added tests for all the new features added in this request.

Closes #209 (closed)