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)
commit9b4453b6ee471ebdd5365104f9f43d051f3f15e7
treea58f6b6347861a2558f54e08fadba0c59279fed7
parent81e19fa8c0aaea888f1cfb3642ef7d316fc84e99
parent34cf6c43406d580648ee79503cba560b25940bf4
Merge pull request #8044 from yuwata/fix-7790

 core: make ExecRuntime be manager managed object