Merge branch 'syncToGitHub' into 'master'

Sync to git hub

See merge request !11
4 jobs for master
in 5 minutes and 24 seconds and was queued for 3 seconds