Merge pull request #10073 from xnox/execve
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 25 Sep 2018 08:07:23 +0000 (10:07 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Sep 2018 08:07:23 +0000 (10:07 +0200)
commit3318fd9c2432bf1f6c7a04fd5a6a3e2f78dd1d00
tree1526a6e7cdaf1c839694fc754e85d4b00d6e9bdb
parentd00de8437393a6a8b9762fbdf917c54ddd8a14dc
parenta3156a8ee4d68b09715225cc04674eea7b5aaec4
Merge pull request #10073 from xnox/execve

Execute generators with manager's environment exported