From 5ef50780e973c35976d0b279cb78da8b4f4c2d47 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Thu, 22 Nov 2018 17:33:42 +0100
Subject: [PATCH] administrativa

---
 Makefile.frag | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.frag b/Makefile.frag
index f68503f..59f2b06 100644
--- a/Makefile.frag
+++ b/Makefile.frag
@@ -94,7 +94,7 @@ psi-paranoid-backups:
 		echo "Usage: make psi-paranoid-backups REPO=<repo to push to>"; \
 		echo; \
 	else \
-		echo "Watching $(PHP_PSI_SRCDIR) for changes to flush and push to $(REPO)"; \
+		echo "Watching $(PHP_PSI_SRCDIR) for changes to flush and push to $(REPO) ..."; \
 		while inotifywait -q -e modify -r $(PHP_PSI_SRCDIR); do \
 			git ci -am flush; \
 			git push $(REPO); \
-- 
2.30.2