Merge branch 'prerelease-v1.1.2' into 'release-v1.1.2'

Moved sources to labs.etsi.org/rep

See merge request !8
2 jobs for release-v1.1.2
in 22 seconds, using 0 compute credits, and was queued for 6 minutes and 12 seconds
latest