From 424f04ca11b833387f1ee75297919f7d51d39604 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 9 Jun 2013 18:05:20 +0200 Subject: [PATCH] Release Spot 1.1.2. * configure.ac, NEWS, doc/org/tools.org: Bump version to 1.1.2. --- NEWS | 2 +- configure.ac | 2 +- doc/org/tools.org | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index fc244ae5c..5f0ff2979 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 1.1.1a (not released) +New in spot 1.1.2 (2013-06-09) * Bug fixes: - Uninitialized variables in ltlcross (affect the count of terminal diff --git a/configure.ac b/configure.ac index 6e481e3d7..8b15b9a95 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.1a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.1.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]) diff --git a/doc/org/tools.org b/doc/org/tools.org index 068bc5827..f0f499aa5 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -1,4 +1,4 @@ -#+TITLE: Command-line tools installed by Spot 1.1.1 +#+TITLE: Command-line tools installed by Spot 1.1.2 #+EMAIL spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t