diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-12-16 13:53:22 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-12-16 13:54:07 +0100 |
| commit | c7e64e2b4f3a9d7734a92aebc53f285cd6afd94b (patch) | |
| tree | bb55753c91c0076a65424d1eaf0142ca13475004 /pkg | |
| parent | 4bc415c2305c2489109f79caf02b8a10fe5036bb (diff) | |
vm: don't call Diagnose when VM hasn't crashed
Fixes #875
Diffstat (limited to 'pkg')
0 files changed, 0 insertions, 0 deletions