Do not maintain ChangeLog anymore, see git log.