Merge proposals

ARMANDS has no merge proposals.