diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index dfe54f9155a..e3390108305 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -187,6 +187,9 @@ issues were fixed: