Merge remote-tracking branch 'origin/8' into snapshot

This commit is contained in:
Sylvestre Ledru 2019-02-11 11:40:10 +01:00
commit 1102740541