Merge pull request #4227 from mwichmann/bug/Copy-list
commit4cc86dac98bbeb84587b7399efa3693283042f45
authorWilliam Deegan <bill@baddogconsulting.com>
Wed, 14 Sep 2022 16:19:25 +0000 (14 09:19 -0700)
committerGitHub <noreply@github.com>
Wed, 14 Sep 2022 16:19:25 +0000 (14 09:19 -0700)
tree5fbf2e89b572a8f6c01b4ee886cf73df3fecd8de
parentc9f4d9ec1ee41b9d558f6d0f13fe2e756ee52b6a
parent7c2d4271d57d2da462859d29435740de3b412d10
Merge pull request #4227 from mwichmann/bug/Copy-list

handle a list as source in Copy