Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Relax the criteria for short-circuit (#885)
A high bar for support remains needed, and any dissent remains sufficient to defeat the short-circuit proposal, but unanimity is no longer required. See #852 Co-authored-by: Ted Thibodeau Jr <[email protected]> Co-authored-by: fantasai <[email protected]>
- Loading branch information