GitLab update scheduled for Friday, December 10th between 08:15 and 08:45 CEST. If unpleasant, please contact René or Martin.

Update to new preprocessor.

2 jobs for update-preprocessor in 2 minutes and 18 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed build #15963

00:01:11

 
  Test
passed test #15964

00:01:06