NEWS

--- a/NEWS	Sat Jan 04 23:14:10 2025 +0100
+++ b/NEWS	Sat Jan 04 23:20:05 2025 +0100
@@ -657,7 +657,7 @@
 * Update to .NET / Fsharp 8.0.x: the current long-term support version.
 
 * Update to current Phorge 2024 week 35 (formerly Phabricator), with
-support for Ubuntu 20.4 and 22.04. The Isabelle "system" manual now
+support for Ubuntu 22.04 and 24.04. The Isabelle "system" manual now
 refers to the project as "Phorge", but "phabricator" remains for formal
 names (files, DNS etc.).