diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index f7c3edefb36..b1b1e14f865 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -929,6 +929,7 @@ be used to verify some algorithms. make it run faster: