From 625a2e2836cd3d8294a02f625943b2daec2644d2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 8 Dec 2019 13:35:01 +0100 Subject: [PATCH] Release Spot 2.8.4 * NEWS, configure.ac, doc/org/setup.org: Set version to 2.8.4. --- NEWS | 5 ++++- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 10 insertions(+), 7 deletions(-) diff --git a/NEWS b/NEWS index d33222e60..83251cdc1 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.8.3.dev (not yet released) +New in spot 2.8.4 (2019-12-08) Bugs fixed: @@ -9,6 +9,9 @@ New in spot 2.8.3.dev (not yet released) complementation algorithm to produce incorrect results on such inputs, causing false positives in ltlcross and autcross. + - Work around a small difference between Python 3.7 and 3.8, causing + spurious failures of the test suite. + New in spot 2.8.3 (2019-11-06) Build: diff --git a/configure.ac b/configure.ac index c3ea84830..76a1fec7e 100644 --- a/configure.ac +++ b/configure.ac @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.63]) -AC_INIT([spot], [2.8.3.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.8.4], [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/setup.org b/doc/org/setup.org index 3186a4481..3842728f4 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,11 +1,11 @@ #+OPTIONS: H:2 num:nil toc:t html-postamble:nil ^:nil #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: SPOTVERSION 2.8.3 -#+MACRO: LASTRELEASE 2.8.3 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.8.3.tar.gz][=spot-2.8.3.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-8-3/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2019-11-06 +#+MACRO: SPOTVERSION 2.8.4 +#+MACRO: LASTRELEASE 2.8.4 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.8.4.tar.gz][=spot-2.8.4.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-8-4/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2019-12-08 #+ATTR_HTML: :id spotlogo [[file:spot2.svg]]