Release Spot 1.1.2.
* configure.ac, NEWS, doc/org/tools.org: Bump version to 1.1.2.
This commit is contained in:
parent
ecc8b8c79c
commit
424f04ca11
3 changed files with 3 additions and 3 deletions
2
NEWS
2
NEWS
|
|
@ -1,4 +1,4 @@
|
|||
New in spot 1.1.1a (not released)
|
||||
New in spot 1.1.2 (2013-06-09)
|
||||
|
||||
* Bug fixes:
|
||||
- Uninitialized variables in ltlcross (affect the count of terminal
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue