Update HISTORY.md

Added pull request number