diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index efda3a49145..590e03e0a28 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -347,7 +347,9 @@ expose new optimization opportunities:

release includes a few major enhancements and additions to the optimizers: