Merge proposals

Tetravex has no merge proposals.