Normally a ChangeLog is generated at "make dist" time and available in
If not, see the Git commit log:
The following notice will be appended to the generated ChangeLog.
Copyright © 2019 Timothy Sample <email@example.com>
Copyright © 2019 Jan (janneke) Nieuwenhuizen <firstname.lastname@example.org>
Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved. This file is offered as-is,
without any warranty.