From 35612f3626d751e0948d387f628f47bc215065b8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 24 Jan 2014 11:16:07 +0100 Subject: [PATCH] Release Spot 1.2.2 * NEWS, configure.ac, doc/org/tools.org: Set version to 1.2.2. --- NEWS | 5 ++--- configure.ac | 9 +++++---- doc/org/tools.org | 2 +- 3 files changed, 8 insertions(+), 8 deletions(-) diff --git a/NEWS b/NEWS index a8495a57c..a3f290e8b 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 1.2.1a (not released) +New in spot 1.2.2 (2014-01-24) * Bug fixes: @@ -8,12 +8,11 @@ New in spot 1.2.1a (not released) - Fix compatibility with Python 3 in the test suite. - Fix a couple of new clang warnings (like "unused private member"). - Add some missing #includes that are not included indirectly - with the C++ compiler is in C++11 mode. + when the C++ compiler is in C++11 mode. - Fix detection of numbers that are too large in the ELTL parser. - Fix a memory leak in the ELTL parser, and avoid some unnecessary calls to strlen() at the same time. - New in spot 1.2.1 (2013-12-11) * New features: diff --git a/configure.ac b/configure.ac index ce4335951..d3cf94f99 100644 --- a/configure.ac +++ b/configure.ac @@ -1,7 +1,8 @@ -# Copyright (C) 2008, 2009, 2010, 2011, 2012, 2013 Laboratoire de -# Recherche et Développement de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2008, 2009, 2010, 2011, 2012, 2013, 2014 Laboratoire +# de Recherche et Développement de l'Epita (LRDE). # Copyright (C) 2003, 2004, 2005, 2006, 2007 Laboratoire d'Informatique de -# Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), Université +# Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), Université # Pierre et Marie Curie. # # This file is part of Spot, a model checking library. @@ -20,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.61]) -AC_INIT([spot], [1.2.1a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.2.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 ef3e41e1f..0d6703938 100644 --- a/doc/org/tools.org +++ b/doc/org/tools.org @@ -1,4 +1,4 @@ -#+TITLE: Command-line tools installed by Spot 1.2.1 +#+TITLE: Command-line tools installed by Spot 1.2.2 #+EMAIL spot@lrde.epita.fr #+OPTIONS: H:2 num:nil toc:t