diff options
| author | emersion <contact@emersion.fr> | 2018-06-03 09:20:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-03 09:20:22 +0100 |
| commit | 5c2ae9c60021ace8b5a599671f51935edd18a2ae (patch) | |
| tree | 75384b8790f6497181cdf00a9b26073809b641d6 /contrib | |
| parent | fb932cf8477120ee9fd9db37be1cd26a603fe0a3 (diff) | |
| parent | 8289e303085845b26e5fcb953facba36bbb99062 (diff) | |
Merge pull request #2097 from RyanDwyer/fix-workspace-segfault
Fix potential crash when destroying workspace
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions