diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 6188ffd4c88..4feb907d367 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -583,6 +583,8 @@ it run faster: