diff --git a/docs/install.html b/docs/install.html index d010eed7e14..b6a75baeeb9 100644 --- a/docs/install.html +++ b/docs/install.html @@ -74,7 +74,9 @@ you think you've spotted a bug let developers know by filing a