Merge proposals

Galois has no merge proposals.