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 09:54:44 +01:00
commit 551b4829f4