Update docs/HISTORY.txt

cedricmessiant contributed to this change