Merge branch 'dev' into dev_importBundledPlugins

This commit is contained in:
Hakim El Hattab 2020-03-10 10:01:14 +01:00 committed by GitHub
commit 4ff79dbc9d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
12 changed files with 2392 additions and 2285 deletions

File diff suppressed because it is too large Load diff