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