From ddb18b408425d5e6c3739e206642f97c0a94bf59 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 2 Jul 2012 14:45:34 +0200 Subject: [PATCH] Relase Spot 0.9.2. * NEWS, configure.ac: Bump version number. --- NEWS | 2 +- configure.ac | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index ebc4b4bd3..6642c56ef 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 0.9.1a: +New in spot 0.9.2 (2012-07-02): * New features to the web interface. - It can run ltl3ba (Babiak et al., TACAS'12) where available. diff --git a/configure.ac b/configure.ac index 2cfbfaba2..da84c3876 100644 --- a/configure.ac +++ b/configure.ac @@ -22,7 +22,7 @@ # 02111-1307, USA. AC_PREREQ([2.61]) -AC_INIT([spot], [0.9.1a], [spot@lrde.epita.fr]) +AC_INIT([spot], [0.9.2], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests])