Commit 1bc0088330cc130cdff03634c1ace1d825b734c0

Steffen Jaeckel 2017-10-14T20:27:05

use correct printf format specifier in timing.c This fixes #54