diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 7b96d105ccf..b632c73a567 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -139,6 +139,7 @@ In this release, the following build problems were fixed: