Update HISTORY.rdoc