Merge pull request #1359 from sacereda/profilerLogging
authorAlexander Gessler <alexander.gessler@gmx.net>
Sat, 22 Jul 2017 23:56:22 +0000 (01:56 +0200)
committerGitHub <noreply@github.com>
Sat, 22 Jul 2017 23:56:22 +0000 (01:56 +0200)
Elapsed seconds not shown correctly


Trivial merge