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)
commit1bad3716e3e8f5ddb45927f354728aa7218e96dd
treedd3e3cfa7ac58beec0f1c790fe4c7055c2ab1d2e
parenta4a794266d36a3d83e37ff274b93a5d9d7600d95
parent3a5adbd2aff0e0f72ceb58f4d953c1a552cb6a9e
Merge pull request #4494 from kumpera/important-android-fixes

[runtime] Make sure we use lower numbered signals on Android.