diff --git a/docs/html/platform.htm b/docs/html/platform.htm index 419fbf6447..279e60c22a 100644 --- a/docs/html/platform.htm +++ b/docs/html/platform.htm @@ -57,6 +57,7 @@ often don't work. Memory debugging code doesn't seem to work well