This reverts commit 8fe54e49. No need for that one, now that Rafael handles it in DumpTimer directly.
Attach a file by drag & drop or click to upload
