Merge branch 'ex3' into 'develop'

Repair fit examples

See merge request !12
3 jobs for develop in 20 minutes and 33 seconds (queued for 2 seconds)