release Spot 2.8.3

* NEWS, configure.ac, doc/org/setup.org: Set version to 2.8.3.
This commit is contained in:
Alexandre Duret-Lutz 2019-11-06 09:54:29 +01:00
parent 44a79b1b89
commit 7ece494794
3 changed files with 13 additions and 8 deletions

9
NEWS
View file

@ -1,6 +1,8 @@
New in spot 2.8.2.dev (not yet released)
New in spot 2.8.3 (2019-11-06)
Nothing yet.
Build:
- Minor portabilities improvements with C++17 deprecations.
Python:
@ -8,6 +10,9 @@ New in spot 2.8.2.dev (not yet released)
Python's search path. This can be used to install third-party
packages that want to behave as plugins for Spot.
- Work around GraphViz bug #1605 in Jupyter notebooks.
https://gitlab.com/graphviz/graphviz/issues/1605
New in spot 2.8.2 (2019-09-27)
Command-line tools: