Commit 40446201 authored by Matthias Clasen's avatar Matthias Clasen

Merge branch 'ebassi/for-master' into 'master'

Ebassi/for master

Closes #3607

See merge request !3100
parents 1fd8d3b4 75f2d758
Pipeline #248895 passed with stages
in 60 minutes and 3 seconds