diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index fdeb6ecde33..407c52b6db1 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -99,8 +99,8 @@ optimizer, speeding it up and making it more aggressive. For example: