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