New release.

validsdp · Jun 5, 2020 · 5429d03 · 5429d03
1 parent 709eeb3
commit 5429d03
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/NEWS.md b/NEWS.md
@@ -1,3 +1,8 @@
+Version 3.3.1
+-------------
+
+* fixed failure when extracting to OCaml
+
 Version 3.3.0
 -------------
 

diff --git a/configure.in b/configure.in
@@ -1,4 +1,4 @@
-AC_INIT([Flocq], [3.3.0],
+AC_INIT([Flocq], [3.3.1],
         [Sylvie Boldo <[email protected]>, Guillaume Melquiond <[email protected]>],
         [flocq])