Merge from upstream/3.7 (#609)

This commit is contained in:
Julien Palard 2019-03-20 09:41:37 +01:00 committed by GitHub
commit fa40a1797d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

File diff suppressed because it is too large Load diff