Admin/components/README.md
changeset 80150 96f60533ec1d
parent 80032 98808cc7b0c1
--- a/Admin/components/README.md	Wed Apr 24 20:56:26 2024 +0100
+++ b/Admin/components/README.md	Fri Apr 26 13:25:44 2024 +0200
@@ -45,7 +45,7 @@
       - macOS 14 Sonoma (`studio1` Mac13,2 M1 Ultra, 16+4 cores)
 
   * `x86_64-windows`
-      - **Windows Server 2012 Rev 2** (`vmnipkow9`)
+      - **Windows Server 2022** (`se0.proof.cit.tum.de`)
       - **Windows 10**
       - Windows 11
   * `x86_64-cygwin`