Merge proposals

harminv in Ubuntu has no merge proposals.