# HG changeset patch
# User wenzelm
# Date 1604174789 -3600
# Node ID a3d096a98b69704b8b578a67104a82f2ff0132e2
# Parent  8eb0b663fa20775ed931738ef82388d89e5bdcca
clarified Windows base line;

diff -r 8eb0b663fa20 -r a3d096a98b69 Admin/PLATFORMS
--- a/Admin/PLATFORMS	Sat Oct 31 21:02:45 2020 +0100
+++ b/Admin/PLATFORMS	Sat Oct 31 21:06:29 2020 +0100
@@ -39,7 +39,7 @@
                     macOS 10.14 Mojave (mini2 Macmini8,1)
                     macOS 10.15 Catalina (laramac01 Macmini8,1)
 
-  x86_64-windows    Windows 7
+  x86_64-windows    Windows 10
   x86_64-cygwin     Cygwin 3.1.x https://isabelle.sketis.net/cygwin_2021 (x86_64/release)
 
 Old (partial support):