diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index b05f75e6f04..921b1df85a4 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -211,6 +211,7 @@ to floating point cast
Bugs in the C/C++ front-end: