tree f560071bd9ccd395fa2968803df22325658083fb
parent 73ecb2c57d39b1e2a7d4f535c1687a4d71eabff0
parent e7ed4bd388be80db9cc5689e623fbdd9e5cfdf7b
author Rasmus Larsen <rmlarsen@google.com> 1572898718 +0000
committer Rasmus Larsen <rmlarsen@google.com> 1572898718 +0000

Merged in ezhulenev/eigen-01 (pull request PR-746)

Remove internal::smart_copy and replace with std::copy