--- a/NEWS Mon Nov 20 19:52:46 2023 +0100
+++ b/NEWS Mon Nov 20 22:17:42 2023 +0100
@@ -99,6 +99,8 @@
* Update to official Poly/ML 5.9.1.
+* Update to OpenJDK 21: the current long-term support version of Java.
+
* Update to GHC stack 2.13.1 with support for all platforms, including
Apple Silicon.