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)
commit770ca46e080aecbcbaccc0be03346709c49c41cf
tree8c718c53b4cff8e6cb1a89920cbdd2a80d594b40
parent66fd6fd24dd58ff1432279df13a385b0a78263e2
parenta9c75b075ceb62e0036a940b8220cc4d1b719448
Merge pull request #3478 from vargaz/fix-pedump

[runtime] Fix pedump by using the normal embedding APIs instead of in…