diff options
| author | George Hazan <george.hazan@gmail.com> | 2024-10-29 11:28:18 +0300 |
|---|---|---|
| committer | George Hazan <george.hazan@gmail.com> | 2024-10-29 11:28:18 +0300 |
| commit | f6aef20f214163655e9bd3dba3e6bd0d22edd1c8 (patch) | |
| tree | 3f02066573212a3eede2df0ce3779b5ea02cc322 /plugins/UserGuide | |
| parent | 692e44fc2e2f5f419d701dc65279557a973a2b40 (diff) | |
fixes #4762 (occasional crash in the core)
Diffstat (limited to 'plugins/UserGuide')
0 files changed, 0 insertions, 0 deletions