diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 8a0c2257c31..c68cbf31b5b 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -113,7 +113,8 @@ long jumping. For these programs you must use the C backend.