Epic transformation of git log into ChangeLog

git log 1a3fd18c..38dbb3a6

For the future we might want to consider if we still want to maintain
this and in which format.