MRG: Synchronize with branch develop

6 jobs for ci_single_token in 5 minutes and 26 seconds (queued for 1 second)
Status Job ID Name Coverage
  Precheck
passed #3214
fast-build

00:05:26

 
  External
passed cdash:debian-unstable-gcc

passed cdash:otb-centos-superbuild-base

passed cdash:ubuntu-18.04-fast

passed cdash:ubuntu-18.04-llvm

passed cdash:ubuntu-18.04-fast