Merge branch...
Merge branch '73-fix-incorrect-counting-of-published-service-specifications-in-metrics-api' into 'develop' Fixed incorrect counting of published service specifications and added 15-minute caching for that count. See merge request !70
WARNING! Gitlab maintenance operation scheduled for Thursday, 18 June between 19:00 and 20:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.
Merge branch '73-fix-incorrect-counting-of-published-service-specifications-in-metrics-api' into 'develop' Fixed incorrect counting of published service specifications and added 15-minute caching for that count. See merge request !70