diff --git a/DOCS/documentation.html b/DOCS/documentation.html index 85484406ba..dc08aab3a9 100644 --- a/DOCS/documentation.html +++ b/DOCS/documentation.html @@ -1417,6 +1417,7 @@ No closer info yet.

  • Tim Ferguson
  • Sam Lin