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

7 jobs for v3 in 8 minutes and 37 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build Gcc
passed job_make_gcc #2083

00:01:19

 
  Test Gcc
passed job_test_gcc #2084

00:00:17

 
  Build Gcc Nocheck
passed job_make_gcc_nocheck #2085

00:03:12

 
  Test Gcc Nocheck
passed job_test_gcc_nocheck #2086

00:00:05

 
  Build Python
passed job_build_python #2087

00:01:34

 
  Build Clang
passed job_make_clang #2088

00:01:56

 
  Test Clang
passed job_test_clang #2089

00:00:12