diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-11 15:35:56 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-11 15:35:56 +0100 |
| commit | 44b41ded82229ca7614403f74234a4282002458b (patch) | |
| tree | 38cf4d77db707cbf823f9cbe31294207042e1826 /servers | |
| parent | 5a79d55560763c10483373b1c715283f76efa656 (diff) | |
| parent | 18d6c91e8e299a077fc84c9d37090f6170fdceac (diff) | |
Merge pull request #73098 from YuriSizov/editor-dont-hide-plugins
Avoid cleaning up editor plugins when property list changes
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions