Merge proposals

Duke has no merge proposals.