Merge branch 'v3'

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

00:01:11

 
  Test Gcc
passed #2134
job_test_gcc

00:00:17

 
  Build Gcc Nocheck
canceled #2135
job_make_gcc_nocheck

 
  Test Gcc Nocheck
canceled #2136
job_test_gcc_nocheck

 
  Build Python
canceled #2137
job_build_python

 
  Build Clang
canceled #2138
job_make_clang

 
  Test Clang
canceled #2139
job_test_clang