Merge branch 'master' into devel

3 jobs for devel in 4 minutes and 48 seconds (queued for 1 second)
latest
Status Name Job ID Coverage
  Test
failed doc-coverage #15170

00:02:01

failed robotpkg-hpp-wholebody-step-corba-16.04-release #15168

00:04:06

failed robotpkg-hpp-wholebody-step-corba-18.04-release #15169

00:04:45

 
Name Stage Failure
failed
doc-coverage Test
No job log
failed
robotpkg-hpp-wholebody-step-corba-18.04-release Test
No job log
failed
robotpkg-hpp-wholebody-step-corba-16.04-release Test
No job log