GitLab update scheduled for Friday, January 21th between 08:15 and 08:45 CET. If unpleasant, please contact René or Martin.

Merge branch 'develop' into feature/better-placeholders

2 jobs for feature/better-placeholders in 4 minutes and 30 seconds (queued for 3 seconds)
latest
Status Name Job ID Coverage
  Build
passed build #13466

00:01:54

 
  Test
passed test #13467

00:02:36