Merge proposals

JEuclid has no merge proposals.