Merge proposals

robin-map in Ubuntu has no merge proposals.