From: Niki Roo Date: Sun, 12 May 2019 16:21:19 +0000 (+0200) Subject: add time in trace handler X-Git-Url: http://git.nikiroo.be/?a=commitdiff_plain;h=8096ee85e7caa28509de4fcf30160c577af9b608;hp=8096ee85e7caa28509de4fcf30160c577af9b608;p=fanfix.git add time in trace handler ---