# HG changeset patch
# User wenzelm
# Date 1697372557 -7200
# Node ID c44171d372a101a097b20163b62cb7531dc93cd8
# Parent  847739805b8db5221d748355113fc621dbc73949
more NEWS;

diff -r 847739805b8d -r c44171d372a1 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.