Update HISTORY for next release. [admin]