diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-06-11 20:51:44 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-11 20:51:44 -0300 |
commit | e8209b9c5cd40649e0ab87515d20b4aab6c9feb0 (patch) | |
tree | 71a61bcc6d2e02e429764508a15def90dc2a6102 /LICENSE.md | |
parent | fea9511bc6be3135ee80f6aef03b4323110826e9 (diff) |
Prevent crash in specific situation of removing a plugin, fixes #5019
Diffstat (limited to 'LICENSE.md')
0 files changed, 0 insertions, 0 deletions