fixed news

arminbiere · Sep 16, 2023 · a9305c2 · a9305c2
2 parents dd92743 + 38e073b
commit a9305c2
Showing 1 changed file with 5 additions and 6 deletions.
diff --git a/NEWS.md b/NEWS.md
@@ -3,12 +3,11 @@ Version 1.7.4
 
 - As `fork` and `wait` do not exist on Windows writing compressed files
   through `pipe/fork/exec/wait` has to be disabled for Windows cross
-  compilation to go through, which has the effect that compressed
-  file writing is not supported for Windows anymore.  Alternatively
-  one could go back to `popen` for writing compressed files on Windows
-  which however is not safe and therefore we simply decided to disable
-  that feature for windows.  Compressed file reading still (and as far
-  we now safely) uses `popen` and thus also compiles for Windows.
+  compilation to go through.  Alternatively one could go back to `popen`
+  for writing compressed files on Windows which however is not safe and
+  therefore we simply decided to disable that feature for windows.
+  Compressed file reading still (and as far we are aware safely) uses
+  `popen` and thus also compiles for Windows.
 
 Version 1.7.3
 -------------