This is a placeholder ChangeLog; the real one is generated from `git log` at
dist time.