# HG changeset patch
# User wenzelm
# Date 1700515062 -3600
# Node ID f318399a9fb62553d76a651423965aba192ab81d
# Parent  4fb5e6499da9326399ac6d7c6916a298334e7271
NEWS;

diff -r 4fb5e6499da9 -r f318399a9fb6 NEWS
--- 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.