* NEWS: Update for 2.9.8.

2021-08-10 13:37:33 +02:00 · 2021-08-10 13:37:33 +02:00 · 87022c23c6
commit 87022c23c6
parent d8a75518e4
1 changed files with 12 additions and 1 deletions
--- a/13
+++ b/13
@ -1,10 +1,21 @@
 New in spot 2.9.7.dev (not yet released)

+  Documentation:
+
+  - Mention the conda-forge package.
+
  Bugs fixed:

  - left->intersacting_run(right) could return a run with incorrect
    colors (likely not corresponding to any existing transition of
-    left) if left was a weak automaton.
+    left) if left was a weak automaton.  (Issue #471)
+
+  - Fix bitset::operator-() causing issues when Spot was configured
+    with more than 32 colors for instance with --enable-max-sets=64.
+    (Issue #469)
+
+  - Work around some warnings from newer compilers.
+

 New in spot 2.9.7 (2021-05-12)