[Jtimer-commits] 02/02: fixes #1329: Add option to not display time in report