Merge pull request #4572 from mwichmann/env/dump-multi
commitad29bd7a30b96569e7e7bc6de634ac08ef3fab8f
authorWilliam Deegan <bill@baddogconsulting.com>
Sat, 13 Jul 2024 23:09:19 +0000 (13 16:09 -0700)
committerGitHub <noreply@github.com>
Sat, 13 Jul 2024 23:09:19 +0000 (13 16:09 -0700)
tree7470e2a190ceeffafe148d85973080ca961eb0c7
parentb4260a7a82fd31ebdc2445c03e69e10b71bbfe70
parentcfe50b5e406226aeaff4a0027a8fdd2b9634273a
Merge pull request #4572 from mwichmann/env/dump-multi

Enhancement: Dump() takes multiple args now