WARNING! Gitlab maintenance operation scheduled for Saturday 28th March from 8 a.m. (CET) to approximately 3 p.m. (CET). GitLab will be unavailable during this time.
Already done in commit d5cfefd0 for the library project, but I forgot the tool project template. Now also removed for that.