changeset 201:8e0a12929be9

FIX: Remove unneeded duplicate string join
author Franz Glasner <hg@dom66.de>
date Sat, 06 Oct 2018 20:38:02 +0200
parents 23ca347ab6a1
children a6326c9c7edb
files extensions/timestamps.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/extensions/timestamps.py	Sat Oct 06 16:08:09 2018 +0200
+++ b/extensions/timestamps.py	Sat Oct 06 20:38:02 2018 +0200
@@ -321,7 +321,7 @@
             # record separator
             f = ''.join(field)
             if f or record:
-                record.append(''.join(field))
+                record.append(f)
             # an empty line is an empty record
             yield record
             record = []