diff --git a/doc/contribute.html b/doc/contribute.html index 5dc8a0044d..5d8e1163a0 100644 --- a/doc/contribute.html +++ b/doc/contribute.html @@ -405,7 +405,7 @@ This is an overview of the overall process: