diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 74bfc0c67a0..19e6ca34ea9 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -18,6 +18,7 @@
  • Installation Instructions
  • Known Problems