Merge branch 'development' of git:xerus/xerus into development

8 jobs for development in 17 minutes and 55 seconds (queued for 6 seconds)
Status Job ID Name Coverage
  Build Gcc Nocheck
passed #4904
job_make_gcc_nocheck

00:01:33

 
  Test Gcc Nocheck
passed #4905
job_test_gcc_nocheck

00:00:19

 
  Code Coverage
passed #4906
job_code_coverage

00:05:18

77.261%
 
  Build Python2
passed #4907
job_build_python2

00:01:58

 
  Build Python3
passed #4908
job_build_python3

00:01:58

 
  Test Python2
passed #4909
job_test_python2

00:04:02

 
  Build Clang
passed #4910
job_make_clang

00:02:26

 
  Test Clang
passed #4911
job_test_clang

00:00:17