Changelog for BenchExec 3.20

sosy-lab · Nov 27, 2023 · 2d73a0e · 2d73a0e
1 parent 643f013
commit 2d73a0e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -9,6 +9,10 @@ SPDX-License-Identifier: Apache-2.0
 
 # BenchExec Changelog
 
+## BenchExec 3.20
+
+- Two tool-info modules improved.
+
 ## BenchExec 3.19
 
 - Tool-info modules can now provide URLs that will be used for links in HTML tables.