Merge branch 'development' of git.hemio.de:xerus/xerus into development

7 jobs from development in 10 minutes and 14 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Build Gcc
passed #3167
job_make_gcc

01:30

 
  Test Gcc
passed #3168
job_test_gcc

01:58

93.182%
 
  Build Gcc Nocheck
passed #3169
job_make_gcc_nocheck

01:18

 
  Test Gcc Nocheck
passed #3170
job_test_gcc_nocheck

00:16

 
  Build Python
passed #3171
job_build_python

02:42

 
  Build Clang
passed #3172
job_make_clang

02:16

 
  Test Clang
passed #3173
job_test_clang

00:12