# HG changeset patch
# User wenzelm
# Date 1582904428 -3600
# Node ID 0a20dd339a05c7d882ece882ece46a405bdbc981
# Parent  3488c0eb4cc857d41f88f9ae3215d986b0e7e81f
tuned;

diff -r 3488c0eb4cc8 -r 0a20dd339a05 ANNOUNCE
--- a/ANNOUNCE	Thu Feb 27 13:27:49 2020 +0100
+++ b/ANNOUNCE	Fri Feb 28 16:40:28 2020 +0100
@@ -29,7 +29,8 @@
 
 * System: Isabelle/Phabricator as self-hosted project management platform.
 
-* System: more robust support for Windows.
+* System: update to current Poly/ML 5.8.1 with improved robustness,
+especially on Windows.
 
 * System: improved support for macOS, notably 10.15 Catalina.