--- a/ANNOUNCE Wed Sep 14 21:14:32 2022 +0200
+++ b/ANNOUNCE Wed Sep 14 21:50:38 2022 +0200
@@ -28,6 +28,8 @@
* System: improved "isabelle log" tool with regex filtering.
+* System: more robust SSH support in Isabelle/Scala.
+
You may get Isabelle2022 from the following mirror sites: