Merge branch 'v3' of hemioGit:xerus/xerus into v3

7 jobs for v3 in 8 minutes and 34 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build Gcc
passed job_make_gcc #2097

00:01:17

 
  Test Gcc
passed job_test_gcc #2098

00:00:17

 
  Build Gcc Nocheck
passed job_make_gcc_nocheck #2099

00:03:10

 
  Test Gcc Nocheck
passed job_test_gcc_nocheck #2100

00:00:05

 
  Build Python
passed job_build_python #2101

00:01:34

 
  Build Clang
passed job_make_clang #2102

00:01:56

 
  Test Clang
passed job_test_clang #2103

00:00:12