Merge proposals

Drop For Linux has no merge proposals.