Merge pull request #3968 from BrzVlad/fix-monitor-exception
authorVlad Brezae <brezaevlad@gmail.com>
Thu, 17 Nov 2016 18:40:14 +0000 (20:40 +0200)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2016 18:40:14 +0000 (20:40 +0200)
[runtime] Fix monitor exception throwing


Trivial merge