Update HISTORY.md for release 3.9