diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index d89cab293d8..e1c62c94750 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -306,6 +306,15 @@ which allows us to implement more aggressive algorithms and make it run faster: