diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index e903080977e..1ab2b709f58 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -449,6 +449,8 @@ Release Notes. expose new optimization opportunities: