diff --git a/website/BUGS.html b/website/BUGS.html index 0d7764bd..5ee30b8f 100644 --- a/website/BUGS.html +++ b/website/BUGS.html @@ -39,6 +39,10 @@