diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 69132c45053..eb8a2560516 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -98,9 +98,17 @@ optimizer, speeding it up and making it more aggressive