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

8 jobs for development in 17 minutes and 51 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build Gcc Nocheck
passed #4852
job_make_gcc_nocheck

00:01:35

 
  Test Gcc Nocheck
passed #4853
job_test_gcc_nocheck

00:00:18

 
  Code Coverage
passed #4854
job_code_coverage

00:05:18

77.364%
 
  Build Python2
passed #4855
job_build_python2

00:02:00

 
  Build Python3
passed #4856
job_build_python3

00:01:58

 
  Test Python2
passed #4857
job_test_python2

00:03:52

 
  Build Clang
passed #4858
job_make_clang

00:02:29

 
  Test Clang
passed #4859
job_test_clang

00:00:17