Merge pull request #3478 from vargaz/fix-pedump
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Mon, 29 Aug 2016 21:51:30 +0000 (17:51 -0400)
committerGitHub <noreply@github.com>
Mon, 29 Aug 2016 21:51:30 +0000 (17:51 -0400)
[runtime] Fix pedump by using the normal embedding APIs instead of in…


Trivial merge