From f4b397a2bfbcf171e6b2ef9c663b34f92d122616 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 1 Aug 2023 12:19:47 +0200 Subject: [PATCH] Release Spot 2.11.6 * NEWS, configure.ac, doc/org/setup.org: Update version. --- NEWS | 6 +++--- configure.ac | 2 +- doc/org/setup.org | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/NEWS b/NEWS index 888a05da4..986e1be91 100644 --- a/NEWS +++ b/NEWS @@ -1,6 +1,4 @@ -New in spot 2.11.5.dev (not yet released) - - Nothing yet. +New in spot 2.11.6 (2023-08-01) Bug fixes: @@ -19,6 +17,8 @@ New in spot 2.11.5.dev (not yet released) mixed. Spot was safe from this bug because it was only using bdd_exist(). (Issue #535) + - Work around recent Pandas and GCC changes. + New in spot 2.11.5 (2023-04-20) Bug fixes: diff --git a/configure.ac b/configure.ac index 09fe45364..9bfa98eac 100644 --- a/configure.ac +++ b/configure.ac @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.69]) -AC_INIT([spot], [2.11.5.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.11.6], [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 255a01c3d..772ff2cc0 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: LASTDATE 2023-04-20 +#+MACRO: LASTDATE 2023-08-01 #+NAME: SPOT_VERSION #+BEGIN_SRC python :exports none :results value :wrap org -return "2.11.5" +return "2.11.6" #+END_SRC #+NAME: TARBALL_LINK