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 Job ID Name Coverage
  Build Gcc
passed #2083
job_make_gcc

00:01:19

 
  Test Gcc
passed #2084
job_test_gcc

00:00:17

 
  Build Gcc Nocheck
passed #2085
job_make_gcc_nocheck

00:03:12

 
  Test Gcc Nocheck
passed #2086
job_test_gcc_nocheck

00:00:05

 
  Build Python
passed #2087
job_build_python

00:01:34

 
  Build Clang
passed #2088
job_make_clang

00:01:56

 
  Test Clang
passed #2089
job_test_clang

00:00:12