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

9 jobs for development in 22 minutes and 57 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build Gcc
passed job_make_gcc #3966

00:01:33

 
  Test Gcc
passed job_test_gcc #3967

00:09:04

93.575%
 
  Build Gcc Nocheck
passed job_make_gcc_nocheck #3968

00:01:24

 
  Test Gcc Nocheck
passed job_test_gcc_nocheck #3969

00:00:30

 
  Build Python2
passed job_build_python2 #3970

00:01:55

 
  Build Python3
passed job_build_python3 #3971

00:01:56

 
  Test Python2
passed job_test_python2 #3972

00:03:41

 
  Build Clang
passed job_make_clang #3973

00:02:21

 
  Test Clang
passed job_test_clang #3974

00:00:30