Merge pull request #4234 from kumpera/katia-flavia
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Wed, 18 Jan 2017 06:21:30 +0000 (01:21 -0500)
committerGitHub <noreply@github.com>
Wed, 18 Jan 2017 06:21:30 +0000 (01:21 -0500)
[runtime] Deny loading bad images.


Trivial merge