diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 19b92f1d037..3e24f86242c 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -83,11 +83,7 @@ Almost dead code.