tree 412455702c2003664e88775e15475eb8eb7a9e9e
parent 0ddd42cae8d8779198c71e3edd6d61d541cd0f98
author Cedric Beust <cedric@beust.com> 1302630784 -0700
committer Cedric Beust <cedric@beust.com> 1302630784 -0700

Better timing message.