Merge pull request #4574 from mwichmann/env/override-del
commit5f0e934b9521f500466b81237d928111b022b256
authorWilliam Deegan <bill@baddogconsulting.com>
Mon, 16 Sep 2024 02:20:17 +0000 (15 19:20 -0700)
committerGitHub <noreply@github.com>
Mon, 16 Sep 2024 02:20:17 +0000 (15 19:20 -0700)
treea8555563733d75a300e37460c12723703ae883a0
parentaad42dd6eeb9b1fe8756895f2567b25ef8e7d82f
parent9653670a0d2dcdfcc7008c158850db1f85185c0a
Merge pull request #4574 from mwichmann/env/override-del

Don't let deletions leak from OverrideEnvironment