# HG changeset patch
# User wenzelm
# Date 1709222580 -3600
# Node ID e84b480e90e4de5110a8ae8cf0cc9ea239c14e78
# Parent  023b341590507e2aca60198030c7858128674e7f
tuned NEWS, see also c62003e05e46;

diff -r 023b34159050 -r e84b480e90e4 NEWS
--- a/NEWS	Thu Feb 29 16:59:47 2024 +0100
+++ b/NEWS	Thu Feb 29 17:03:00 2024 +0100
@@ -165,9 +165,8 @@
 * No longer support for very old versions of macOS and Linux: base-line
 is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur.
 
-* New component javamail 1.4.7 (from javax.mail).
-
-* Isabelle/Scala supports mailing via SMTP.
+* Isabelle/Scala supports mailing via SMTP, based on new system
+component javamail 1.4.7 (from javax.mail).