diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 5cd248c2db6..726729aebf8 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -581,8 +581,8 @@ it run faster:

from the previous release.