Merge branch 'core-updates'

This commit is contained in:
Ludovic Courtès 2018-12-03 08:52:17 +01:00
commit 194451347d
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
191 changed files with 4564 additions and 3138 deletions

File diff suppressed because it is too large Load diff