diff --git a/index.html b/index.html index 4967c781c..489690950 100644 --- a/index.html +++ b/index.html @@ -14113,8 +14113,11 @@
The following people contributed to the development of this document.