From 026830d15991c17888b667a50cb2737047cb52bc Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 9 Jul 2013 14:03:07 +0200 Subject: [PATCH] Release Spot 1.1.3. * configure.ac, doc/org/tools.org, NEWS: Set version to 1.1.3. --- NEWS | 2 +- configure.ac | 2 +- doc/org/tools.org | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index 9a55056b4..66b4a571d 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 1.1.2a (not releaased) +New in spot 1.1.3 (2013-07-09) * New feature: - The neverclaim parser now understands the new style of output diff --git a/configure.ac b/configure.ac index 77abcc4ee..403c00314 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.1.2a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.1.3], [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]) diff --git a/doc/org/tools.org b/doc/org/tools.org index f0f499aa5..9a62aaed3 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -1,4 +1,4 @@ -#+TITLE: Command-line tools installed by Spot 1.1.2 +#+TITLE: Command-line tools installed by Spot 1.1.3 #+EMAIL spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t