Merge proposals

naev in Ubuntu has no merge proposals.