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