Updated HISTORY with issue #1238
Updated HISTORY
Merge pull request #1252 from imalberto/fix-history

Updated HISTORY with issue #1238