NEWS

--- a/NEWS	Sun Oct 15 13:48:08 2023 +0200
+++ b/NEWS	Sun Oct 15 14:22:37 2023 +0200
@@ -50,6 +50,9 @@
 
 * Update to official Poly/ML 5.9.1.
 
+* Update to GHC stack 2.13.1 with support for all platforms, including
+Apple Silicon.
+
 * No longer support for very old versions of macOS and Linux: base-line
 is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur.