Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It's not clear to me how deep the copying should be, but I think this should be fine for now and it matches the semantics of `copy` better.
- Loading branch information