17 Feb
2018
17 Feb
'18
9:13 p.m.
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