Merge branch 'laddbr/lab9' into 'master'

Laddbr/lab9

See merge request !9
9 jobs for master in 2 minutes and 47 seconds (queued for 3 seconds)