## The contents of this file will be generated during 'make dist' by the
## shell command:

  git log --summary --stat

# which you can run using 'sh ChangeLog'