Update HISTORY file. [admin]