diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index b9479f4d9f1..0b753bc20df 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -328,7 +328,7 @@ allocator. @@ -346,6 +346,7 @@ allocator.