Updated ChangeLog; repository entry pointing to this release