Merge proposals

rush in Ubuntu has no merge proposals.