> Since we using git, do we need a ChangeLog? As already discussed on the list: I want to continue with proper ChangeLog entries until the next release. Later on, a ChangeLog file can be automatically created at `make dist' time with gnulib's `gitlog-to-changelog' script, for example.
Werner
