Update history to reflect merge of #1639 [ci skip]