Update history to reflect merge of #1933.

[ci skip]