Merge branch 'v3'

7 jobs for development in 1 minute and 28 seconds (queued for 14 minutes and 25 seconds)
Status Name Job ID Coverage
  Build Gcc
passed job_make_gcc #2133

00:01:11

 
  Test Gcc
passed job_test_gcc #2134

00:00:17

 
  Build Gcc Nocheck
canceled job_make_gcc_nocheck #2135

 
  Test Gcc Nocheck
canceled job_test_gcc_nocheck #2136

 
  Build Python
canceled job_build_python #2137

 
  Build Clang
canceled job_make_clang #2138

 
  Test Clang
canceled job_test_clang #2139