* Push towards 0.8.2.
[ginac.git] / configure.in
index 4e34b5c8c79d79f1793086c609308730456ad11c..692ba3eea868826af1d4b791825f9dfa70217ba1 100644 (file)
@@ -19,7 +19,7 @@ dnl (don't we all *love* M4?)...
 
 GINACLIB_MAJOR_VERSION=0
 GINACLIB_MINOR_VERSION=8
-GINACLIB_MICRO_VERSION=1
+GINACLIB_MICRO_VERSION=2
 GINACLIB_INTERFACE_AGE=0
 GINACLIB_BINARY_AGE=0
 GINACLIB_VERSION=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION.$GINACLIB_MICRO_VERSION