[PATCH 9 of 9] revsetbenchmark: add a summary at the end of execution

[Matt Mackall]

On Wed, 2014-03-26 at 19:49 -0700, pierre-yves.david at ens-lyon.org wrote:
> # HG changeset patch
> # User Pierre-Yves David <pierre-yves.david at fb.com>
> # Date 1395885109 25200
> #      Wed Mar 26 18:51:49 2014 -0700
> # Node ID ddb3327f7d35445133885727b0fd988e536a08dd
> # Parent  9f9883d1c6dba67d5ed79f59b5d544b136f43dd4
> revsetbenchmark: add a summary at the end of execution

These are queued for default, thanks.

-- 
Mathematics is the supreme nostalgia of our time.