Merge branch 'master' into next

2018-04-20 08:06:33 +02:00 · 2018-04-20 08:06:33 +02:00 · c2e177ee09
commit c2e177ee09
parent 2fe67769d7 fea122f7ba
4 changed files with 10 additions and 7 deletions
--- a/4
+++ b/4
@ -1,4 +1,4 @@
-New in spot 2.5.2.dev (not yet released)
+New in spot 2.5.3.dev  (not yet released)

  Command-line tools:

@ -60,6 +60,8 @@ New in spot 2.5.2.dev (not yet released)
    options; there are demonstrated on the new
    https://spot.lrde.epita.fr/ipynb/satmin.html page.

+New in spot 2.5.3 (2018-04-20)
+
  Bugs fixed:

  - "autfilt --cobuchi --small/--det" would turn a transition-based