Merge proposals

gross in Ubuntu has no merge proposals.