diff --git a/NEWS b/NEWS index 1ffa26ad5..07f188ac2 100644 --- a/NEWS +++ b/NEWS @@ -1,11 +1,4 @@ -New in spot 2.10.5.dev (not yet released) - - Nothing yet. - - - make_twa_graph() will now preserve state number when copying a - kripke_graph object. As a consequence, print_dot() and - print_hoa() will now use state numbers matching those of the - kripke_graph (issue #505). +New in spot 2.10.6 (2022-05-18) Bugs fixed: @@ -14,6 +7,14 @@ New in spot 2.10.5.dev (not yet released) - Using -Ffile/N to read column N of a CSV file would not reset the /N specification for the next file. + - make_twa_graph() will now preserve state number when copying a + kripke_graph object. As a consequence, print_dot() and + print_hoa() will now use state numbers matching those of the + kripke_graph (issue #505). + + - Fix several compilation warning introduced by newer versions + of GCC and Clang. + New in spot 2.10.5 (2022-05-03) Bugs fixed: diff --git a/configure.ac b/configure.ac index 6527900ce..e14698a3f 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.10.5.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.10.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 c1b7e9235..52aa02639 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.10.5 -#+MACRO: LASTRELEASE 2.10.5 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.10.5.tar.gz][=spot-2.10.5.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-10-5/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2022-05-03 +#+MACRO: SPOTVERSION 2.10.6 +#+MACRO: LASTRELEASE 2.10.6 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.10.6.tar.gz][=spot-2.10.6.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-10-6/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2022-05-18 #+ATTR_HTML: :id spotlogo [[file:spot2.svg]]