diff options
-rw-r--r-- | docs/ReleaseNotes.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 5cd248c..726729a 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -581,8 +581,8 @@ it run faster:</p> from the previous release.</p> <ul> - <li>The <code>LowerSetJmp</code> wasn't used effectively by any of the - targets and was removed.</li> + <li>The <code>LowerSetJmp</code> pass wasn't used effectively by any + target and has been removed.</li> </ul> </div> |