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

Moved sources to labs.etsi.org/rep

See merge request !1
2 jobs for release-v1.1.2 in 26 seconds (queued for 7 minutes and 2 seconds)
latest