Preparation for release 0.9.13

antoinemine · Sep 11, 2020 · cf9017f · cf9017f
1 parent a9d5087
commit cf9017f
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 3 deletions.
diff --git a/Changes b/Changes
@@ -1,3 +1,12 @@
+Version 0.9.13
+- Fix Java version detection & compilation (#30)
+- Minor grammar and spelling fixes (#22), (#26)
+- Use texi2any instead of (dead) texi2html (#23)
+- Fix best and exact flags in octagons (#25)
+- Fix linking under MaxOS X (#28)
+- Taylor1+ fixes
+
+
 Version 0.9.12
 
 - GitHub hosting

diff --git a/apron/apron.texi b/apron/apron.texi
@@ -2,7 +2,7 @@
 @c -*-texinfo-*-
 @c %**start of header
 @setfilename apron.info
-@settitle APRON 0.9.12
+@settitle APRON 0.9.13
 @c @setcontentsaftertitlepage
 @c include version.texi
 @iftex
@@ -50,7 +50,7 @@ numerical variables.
 
 @title APRON
 @subtitle The APRON library
-@subtitle Version 0.9.12
+@subtitle Version 0.9.13
 
 @author by Bertrand Jeannet and the APRON team
 @c Include the Distribution inside the titlepage so

diff --git a/version.mk b/version.mk
@@ -1,7 +1,7 @@
 # bump here at each release
 VERSION_MAJOR = 0
 VERSION_MINOR = 9
-VERSION_MICRO = 12
+VERSION_MICRO = 13
 
 # automatically generated
 VERSION_STR = "${VERSION_MAJOR}.${VERSION_MINOR}.${VERSION_MICRO}"