Release Spot 2.11.6

* NEWS, configure.ac, doc/org/setup.org: Update version.
This commit is contained in:
Alexandre Duret-Lutz 2023-08-01 12:19:47 +02:00
parent bb95705d52
commit f4b397a2bf
3 changed files with 6 additions and 6 deletions

6
NEWS
View file

@ -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: