diff --git a/docs/antnews.html b/docs/antnews.html index 42ca42ef9..49ea36879 100644 --- a/docs/antnews.html +++ b/docs/antnews.html @@ -372,7 +372,7 @@ did) or could be explained better, feel free to help us out in the