Merge branch 'ubuntu_18_04'

2 jobs for 1.0.2 in 31 seconds (queued for 6 seconds)
latest