diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index a64a2209eab..d99d12118c2 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -132,6 +132,7 @@ issues were fixed: