diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 6159628ecb2..608a1f354b1 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -284,6 +284,7 @@ Release Notes. expose new optimization opportunities: