From ea911a78823385e1fad528e04d6b0cdf217610f8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 6 Mar 2013 09:21:47 +0100 Subject: [PATCH] Release Spot 1.0.2. * NEWS, configure.ac: Bump version. --- NEWS | 2 +- configure.ac | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index 817d9d18f..640e003d1 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 1.0.1a (not released): +New in spot 1.0.2 (2013-03-06): * New features: - the on-line ltl2tgba.html interface can output deterministic or diff --git a/configure.ac b/configure.ac index 4c717258a..420cee63a 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # along with this program. If not, see . AC_PREREQ([2.61]) -AC_INIT([spot], [1.0.1a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.0.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])