diff --git a/OnDemandUpdatePTU.pro b/OnDemandUpdatePTU.pro
index 3c0d2a3..070c8c1 100644
--- a/OnDemandUpdatePTU.pro
+++ b/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")