Merge branch 'develop'
New release notes for 3.8.0
Added feature implementation to release notes 3.8.0
Corrected release note for 3.8.0
Merged develop into master
fixed release nr
Merge branch 'develop' of https://github.com/OpenConext/OpenConext-serviceregistry into develop
Merge remote-tracking branch 'origin/master' into develop