diff --git a/docs/antnews.html b/docs/antnews.html index 448ae96ab..317889bcd 100644 --- a/docs/antnews.html +++ b/docs/antnews.html @@ -81,7 +81,12 @@