Place ChangeLog entries in the correct files
* INSTALL.REPO: Revert 2014-12-06 change.

You _can_ just run make after a clean checkout, thanks to the GNUmakefile.