diff --git a/website/BUGS.html b/website/BUGS.html index 7519ea25..a07428ce 100644 --- a/website/BUGS.html +++ b/website/BUGS.html @@ -77,7 +77,8 @@ -