Merge proposals

neverball in Ubuntu has no merge proposals.