revert flint version to 2.9

bobot · Mar 29, 2023 · 5b732ae · 5b732ae
1 parent 8ecdd1e
commit 5b732ae
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/CHANGES b/CHANGES
@@ -1,8 +1,11 @@
+  - revert flint version to 2.9.0
+
 ## Release 0.2.2 ## 
    - Fix really stub compilation on macosx (@msri)
 
 ## Release 0.2.1 ##
    - Fix stub compilation on macosx
+   - Spurious bump of flint version to trunk
 
 ## Release 0.2 ##
   - Bump flint to 2.9

diff --git a/flint/flint/flint2 b/flint/flint/flint2