# HG changeset patch
# User wenzelm
# Date 1602343583 -7200
# Node ID f6fc180e1cbd8fc32500ff3825027acc193a6c75
# Parent  72667f4994a652d3e426b3708e16098103abce68
tuned --- according to instructions on Website;

diff -r 72667f4994a6 -r f6fc180e1cbd Admin/polyml/INSTALL-MinGW
--- a/Admin/polyml/INSTALL-MinGW	Sat Oct 10 14:59:43 2020 +0200
+++ b/Admin/polyml/INSTALL-MinGW	Sat Oct 10 17:26:23 2020 +0200
@@ -8,7 +8,7 @@
 
 - package update and installation within msys2 shell:
 
-  pacman -Syuu
+  pacman -Syu
 
   pacman -Su