Closed copybara-service[bot] closed 1 year ago
Update merge-from to merge vectors
Currently we can only merge repeated lists, but we really want vectors as well.
Update merge-from to merge vectors
Currently we can only merge repeated lists, but we really want vectors as well.