diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 5c174d5b89b..c685f761c17 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -511,7 +511,7 @@ API changes are: