Release spot 2.7.3

* NEWS, configure.ac, doc/org/setup.org: Set version.
This commit is contained in:
Alexandre Duret-Lutz 2019-04-19 08:56:41 +02:00
parent 80456fcf8f
commit eb826185f5
3 changed files with 11 additions and 7 deletions

6
NEWS
View file

@ -1,4 +1,4 @@
New in spot 2.7.2.dev (not yet released)
New in spot 2.7.3 (2019-04-19)
Bugs fixed:
@ -9,6 +9,10 @@ New in spot 2.7.2.dev (not yet released)
- Fix serious typo in removel_alternation() causing incorrect
output for some VWAA. Bug introduced in Spot 2.6.
Documentation:
- Multiple typos and minor updates.
New in spot 2.7.2 (2019-03-17)
Python: