re: #144 HappyWarrior

Damnit, this could have been stopped if those four had voted the correct way.

no, wouldn’t have made a difference.