[tor-consensus-health] Consensus issues

[Roger Dingledine]

On Sat, Feb 17, 2018 at 01:11:55PM -0800, Damian Johnson wrote:
> Ok, in that case I'll just have DocTor omit the Running flag from its
> checks too.

Ok. If you wanted to get fancier, you could look at the known-flags
line in the vote, to decide whether to check it.

But I get the impression you don't want to get fancier here. :)

--Roger