Update HISTORY file.