diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index a67a4d87204..24317da3356 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -360,7 +360,7 @@ faster: