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

This commit is contained in:
Philippe GRAND 2019-10-30 10:11:27 +01:00
commit c13f4f7bf6