Clarify comment

typetools · Mar 6, 2023 · 1fe1a78 · 1fe1a78
1 parent a2844d7
commit 1fe1a78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/manual/external-tools.tex b/docs/manual/external-tools.tex
@@ -1160,7 +1160,7 @@
         </plugins>
       </build>
       <properties>
-        <!-- Needed for animal-sniffer-maven-plugin version 1.19 (version 1.20 is fixed). -->
+        <!-- Needed for animal-sniffer-maven-plugin version 1.19 which is broken (version 1.20 is fixed). -->
         <animal.sniffer.skip>true</animal.sniffer.skip>
       </properties>
     </profile>