diff --git a/website/BUGS.html b/website/BUGS.html index e8e11bbc..3a549303 100644 --- a/website/BUGS.html +++ b/website/BUGS.html @@ -41,7 +41,7 @@