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