NEWS

--- a/NEWS	Tue Jul 11 17:07:10 2023 +0200
+++ b/NEWS	Tue Jul 11 18:30:56 2023 +0200
@@ -461,10 +461,6 @@
 
 * Update to GHC stack 2.9.3 with support for arm64-linux.
 
-* System option "ML_system_apple" now defaults to "false", for more
-stability: Poly/ML for ARM64 is still somewhat unstable and not
-yet officially released.
-
 
 
 New in Isabelle2022 (October 2022)