Merge tag 'upstream/0.0_git20180801.8b80699'

Upstream version 0.0~git20180801.8b80699
1 job for master in 2 minutes and 13 seconds (queued for 2 minutes and 30 seconds)
latest
Status Job ID Name Coverage
  Test
passed #35355
test_the_archive

00:02:13