diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index e577ab4ad21..b43d7246986 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -253,7 +253,7 @@ many platforms, such as X86).