Merge branch 'master' into next

2018-10-17 09:35:24 +02:00 · 2018-10-17 09:35:24 +02:00 · 235508416c
commit 235508416c
parent d94efe9fe1 1878e75ebc
3 changed files with 9 additions and 7 deletions
--- a/4
+++ b/4
@ -1,4 +1,4 @@
-New in spot 2.6.2.dev (not yet released)
+New in spot 2.6.3.dev (not yet released)

  Command-line tools:

@ -65,6 +65,8 @@ New in spot 2.6.2.dev (not yet released)
    used to check whether a formula or an automaton represents a
    liveness property.

+New in spot 2.6.3 (2019-10-17)
+
  Bugs fixed:

  - Running "ltl2tgba -B" on formulas of the type FG(safety) would