From f78bd8701c00ed40424df8cb9ca643f12319eea8 Mon Sep 17 00:00:00 2001
From: Joerg Jaspert <joerg@debian.org>
Date: Fri, 18 Dec 2015 22:25:49 +0100
Subject: [PATCH] Use log() not echo() to get timestamps

---
 config/debian/cron.dinstall | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config/debian/cron.dinstall b/config/debian/cron.dinstall
index 8aaaa648..07e9b0d5 100755
--- a/config/debian/cron.dinstall
+++ b/config/debian/cron.dinstall
@@ -134,7 +134,7 @@ function stage() {
     cat "${STAGEFILE}.log" >> "${LOGFILE}"
     rm -f "${STAGEFILE}.log"
 
-    echo "########## DINSTALL END: ${FUNC} ##########"
+    log "########## DINSTALL END: ${FUNC} ##########"
 
     if [ -f "${LOCK_STOP}" ]; then
         log "${LOCK_STOP} exists, exiting immediately"
-- 
2.39.2