diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-05-14 10:30:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-14 10:30:31 +0200 |
| commit | e6cd0056a8d484d76f3aeeeed9604a4eded66a2a (patch) | |
| tree | d06434e2ceed5d7c8366b049740daf808ad73272 /modules | |
| parent | 420e75f2779b63bdb63d92b7b682944fa5ac8059 (diff) | |
| parent | 2bae31a4df783de9fa3f6869f79bfe823c9d2664 (diff) | |
Merge pull request #48584 from Zami77/remove-plugin-from-enabled-if-error
Remove plugin from enabled plugins, if there is an error
Diffstat (limited to 'modules')
0 files changed, 0 insertions, 0 deletions