1
## The contents of this file will be generated during 'make dist' by the
2
## shell command:
3
4
  git log --summary --stat
5
6
# which you can run using 'sh ChangeLog'