[PATCH 2 of 2 v3] verify: report censored nodes if configured policy is abort

[Matt Mackall]

On Tue, 2014-10-14 at 16:22 -0400, adgar at google.com wrote:
> # HG changeset patch
> # User Mike Edgar <adgar at google.com>
> # Date 1413317764 14400
> #      Tue Oct 14 16:16:04 2014 -0400
> # Node ID efe6a691c3e3b868a4c6e57c30e894a1d580cfbf
> # Parent  35378c7c4440e27bd1569ec55d18e0f036209eca
> verify: report censored nodes if configured policy is abort

Nice, these are queued for default.

-- 
Mathematics is the supreme nostalgia of our time.