Merge proposals

DERG has no merge proposals.