diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 9b65c6f3d54..129a4057c7b 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -501,28 +501,48 @@ release includes a few major enhancements and additions to the optimizers:
New features of other targets include: -
- -