diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 0318b03371c..53e9743291d 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -140,11 +140,10 @@ table in the archive).


Known problems with the C front-end

Bugs:Notes:Bugs:Notes: