Merge proposals

Diamond Everest has no merge proposals.