Merge pull request #3660 from nfedera/fix_profiler_print_format_specifier
authorMartin Fleisz <martin.fleisz@thincast.com>
Mon, 19 Dec 2016 09:50:09 +0000 (10:50 +0100)
committerGitHub <noreply@github.com>
Mon, 19 Dec 2016 09:50:09 +0000 (10:50 +0100)
fix format specifier in profiler_print


Trivial merge