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

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

00:01:17

 
  Test Gcc
passed #2098
job_test_gcc

00:00:17

 
  Build Gcc Nocheck
passed #2099
job_make_gcc_nocheck

00:03:10

 
  Test Gcc Nocheck
passed #2100
job_test_gcc_nocheck

00:00:05

 
  Build Python
passed #2101
job_build_python

00:01:34

 
  Build Clang
passed #2102
job_make_clang

00:01:56

 
  Test Clang
passed #2103
job_test_clang

00:00:12