Merge remote-tracking branch 'origin/new_branch_01_11_2019' into new_branch_01_11_2019

This commit is contained in:
Philippe GRAND 2019-11-01 10:43:18 +01:00
commit 78b8422c00