replay: Copy dir states and external paths in copy_from operations
Copied directories might have externals so we also need to copy states
and update external paths in case externals list is later modified.
anlambert | Authored on Dec 7 2022, 5:16 PM |
anlambert | Pushed on Dec 8 2022, 5:20 PM |
Buildable 33194 | |
Build 52041: test-and-build | Jenkins console · Jenkins |