From ca21b8833a3716d8a152ec24d97c6ad828f33bfd Mon Sep 17 00:00:00 2001
From: "Daniel J. Hofmann" <daniel@trvx.org>
Date: Tue, 18 Oct 2016 13:54:03 -0700
Subject: [PATCH] =?UTF-8?q?Removes=20Gnu=20Date=20Usage=20=F0=9F=91=B4?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

\U+1Fstallman-emoji
---
 scripts/timer.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/timer.sh b/scripts/timer.sh
index 39d8e5b34..926900fcb 100755
--- a/scripts/timer.sh
+++ b/scripts/timer.sh
@@ -7,6 +7,6 @@ START=$(date "+%s.%N")
 /bin/bash -c "$CMD"
 END=$(date "+%s.%N")
 TIME="$(echo "$END - $START" | bc)s"
-NEW_ENTRY="$NAME\t$TIME\t$(date -Iseconds)"
+NEW_ENTRY="$NAME\t$TIME"
 
 echo -e "$NEW_ENTRY" >> $TIMINGS_FILE