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