From a2d6d25324c933aa0b4267d4a6ab401af15ba6fa Mon Sep 17 00:00:00 2001
From: Yann Leboulanger <asterix@lagaule.org>
Date: Thu, 4 Jun 2009 20:48:04 +0200
Subject: [PATCH] export time when exporting logs. see #5060

---
 src/history_manager.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/history_manager.py b/src/history_manager.py
index 8f8faced91..30565d6a52 100644
--- a/src/history_manager.py
+++ b/src/history_manager.py
@@ -525,7 +525,7 @@ class HistoryManager:
 				continue
 
 			try:
-				time_ = time.strftime('%x', time.localtime(float(time_))).decode(
+				time_ = time.strftime('%c', time.localtime(float(time_))).decode(
 					locale.getpreferredencoding())
 			except ValueError:
 				pass
-- 
GitLab