Add comment for version 1.3.13

OnDemandUpdatePTU.pro

@@ -39,6 +39,8 @@ DEFINES += QT_DEPRECATED_WARNINGS
 #           Use 'git pull' instead of 'git fetch'.
 #           Use 'git clone --filter=blob:none' instead of 'git clone' to speed
 #           up cloning of customer repository.
+# 1.3.13:   Fix: if the customer repository is corrupted, remove it and re-clone
+#           the repository (without checking the ISMAS-trigger (WAIT-)button.
 
 win32 {
     BUILD_DATE=$$system("date /t")