diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 77347b2f7f4..a19c05f54ea 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -137,6 +137,8 @@ In this release, the following bugs in the previous release were fixed: