diff --git a/docs/antnews.html b/docs/antnews.html index 317889bcd..6aa957aee 100644 --- a/docs/antnews.html +++ b/docs/antnews.html @@ -83,7 +83,7 @@