Merge branch 'master' into dist/eole/2.6.2/master

This commit is contained in:
Philippe Caseiro 2018-04-12 16:13:06 +02:00
commit 37e5cbb3b2