Merge branch 'ubuntu_18_04'

2 jobs for Esplugues_demo in 35 seconds (queued for 1 second)
latest