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

8 jobs for development in 17 minutes and 38 seconds (queued for 47 seconds)
Status Job ID Name Coverage
  Build Gcc Nocheck
passed #4876
job_make_gcc_nocheck

00:01:28

 
  Test Gcc Nocheck
passed #4877
job_test_gcc_nocheck

00:00:18

 
  Code Coverage
passed #4878
job_code_coverage

00:05:17

77.364%
 
  Build Python2
passed #4879
job_build_python2

00:01:58

 
  Build Python3
passed #4880
job_build_python3

00:01:58

 
  Test Python2
passed #4881
job_test_python2

00:03:53

 
  Build Clang
passed #4882
job_make_clang

00:02:25

 
  Test Clang
passed #4883
job_test_clang

00:00:17