Merge pull request #4494 from kumpera/important-android-fixes
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Thu, 9 Mar 2017 21:14:35 +0000 (13:14 -0800)
committerGitHub <noreply@github.com>
Thu, 9 Mar 2017 21:14:35 +0000 (13:14 -0800)
[runtime] Make sure we use lower numbered signals on Android.


Trivial merge