diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index ebcbf15dadf..6188ffd4c88 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -589,6 +589,14 @@ it run faster:

is still accepted, but is now considered deprecated. +

Windows (32-bit)

+
+ +
+