Merge pull request git-cola#800 from alex-gulyas/master

* alex-gulyas/master:
  app: change date/time format in log widget

Signed-off-by: David Aguilar <davvid@gmail.com>

cola/widgets/log.py

@@ -53,7 +53,7 @@ def append(self, msg):
         cursor.movePosition(cursor.End)
         text = self.output_text
         # NOTE: the ':  ' colon-SP-SP suffix in used by the syntax highlighter
-        prefix = core.decode(time.strftime('%I:%M %p %Ss %Y-%m-%d:  '))
+        prefix = core.decode(time.strftime('%x %X:  '))
         for line in msg.splitlines():
             cursor.insertText(prefix + line + '\n')
         cursor.movePosition(cursor.End)