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

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