Merge proposals

cutechess in Ubuntu has no merge proposals.