diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index e5987618b93..8d1e603e8d7 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -490,7 +490,23 @@ API changes are: