Merge pull request #8044 from yuwata/fix-7790
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 6 Feb 2018 10:03:02 +0000 (11:03 +0100)
committerGitHub <noreply@github.com>
Tue, 6 Feb 2018 10:03:02 +0000 (11:03 +0100)
 core: make ExecRuntime be manager managed object


Trivial merge