Merge branch 'rel1' into 'develop'

Prepare for release 1.19

See merge request !13
3 jobs for v1.19.0 in 29 minutes and 40 seconds (queued for 1 minute and 47 seconds)