diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 1bff0024aa4..3e4d51f2527 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -446,7 +446,7 @@ faster: