* ChangeLog: Add missing PR number.