add timing stats to cmd spawn_cmd
authorDirk Koopman <djk@tobit.co.uk>
Mon, 25 Jul 2016 15:42:32 +0000 (16:42 +0100)
committerDirk Koopman <djk@tobit.co.uk>
Mon, 25 Jul 2016 15:42:32 +0000 (16:42 +0100)

No differences found