Add Nils Husung's fix to the CHANGELOG

CHANGELOG.md

@@ -89,8 +89,9 @@
 
 - Fixed overflow error when a single BDD's width outgrows 32 bits (96 GiB).
 
-- Fixed Outer Reduce in Nested Sweeping framework crashes due to assuming its priority queues are
-  (like the regular Reduce) only inducing a 1-level cut on the input.
+- Fixed Outer Reduce in Nested Sweeping framework crashes due to assuming its
+  priority queues are (like the regular Reduce) only inducing a 1-level cut on
+  the input.
 
 - Fixed "Not enough phase 1 memory for 128 KB items and an open stream!" error
   messages when running `bdd_exists(f, ...)` and `bdd_forall(f, ...)` with
@@ -99,6 +100,9 @@
 - Fixed statistics for quantification algorithms are incorrect/misleading. To
   do so, the `adiar::statistics` struct has been changed (in a breaking way).
 
+- Fixed that TPIE leaves a log file in the default temporary directory when
+  another has been specified.
+
 ## Other Changes
 
 - The maximum number of BDD variables has been decreased to *2097149* (21 bytes