Merge pull request #4330 from janvorli/fix-sigsegv-deadlock
authorJan Vorlicek <janvorli@microsoft.com>
Thu, 14 Apr 2016 20:36:08 +0000 (22:36 +0200)
committerJan Vorlicek <janvorli@microsoft.com>
Thu, 14 Apr 2016 20:36:08 +0000 (22:36 +0200)
Fix possibility of deadlock in the SIGSEGV handler


Trivial merge