new release 3.9.13

typetools · Oct 1, 2020 · 5369d44 · 5369d44
1 parent 95929db
commit 5369d44
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/annotation-file-utilities/annotation-file-utilities.html b/annotation-file-utilities/annotation-file-utilities.html
@@ -135,13 +135,13 @@ <h2 id="installation">Installation</h2>
 
 <p>
 The current release is Annotation File Utilities version
-<!-- afu-version -->3.9.12, 02 Sep 2020<!-- /afu-version -->.
+<!-- afu-version -->3.9.13, 01 Oct 2020<!-- /afu-version -->.
 </p>
 
 <ol>
 <li>
   Download
-  <a href="annotation-tools-3.9.12.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.9.12.zip<!-- /annotation-tools-zip-version --></a>.
+  <a href="annotation-tools-3.9.13.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.9.13.zip<!-- /annotation-tools-zip-version --></a>.
 </li>
 
 <li>
@@ -151,7 +151,7 @@ <h2 id="installation">Installation</h2>
   (You will typically make <code>annotation-tools/</code> a sibling of
   <code>checker-framework/</code>.)
 
-  <pre><code>unzip annotation-tools-3.9.12.zip</code></pre>
+  <pre><code>unzip annotation-tools-3.9.13.zip</code></pre>
 
 </li>