Merge pull request #5193 from luhenry/2017-04-fix-56155
commitb3d1b69247bf8e535c2604d24ca2b469df3910f1
authorLuis Aguilera <luis.aguilera@xamarin.com>
Wed, 12 Jul 2017 18:47:37 +0000 (12 14:47 -0400)
committerGitHub <noreply@github.com>
Wed, 12 Jul 2017 18:47:37 +0000 (12 14:47 -0400)
tree4d1b71d623c622e3d38da9e26a69fb4cf36bab5f
parent3d531ba62551abca0ca0d679ae0d4e8a31cf1b67
parent3b924c60cc182cc958c9784cda2c07ee7046f2a6
Merge pull request #5193 from luhenry/2017-04-fix-56155

[runtime] Rework process waiting.