Merge "Update docker installation"
authorMike Marchetti <mmarchetti@sandvine.com>
Wed, 3 Oct 2018 17:05:38 +0000 (19:05 +0200)
committerGerrit Code Review <root@osm.etsi.org>
Wed, 3 Oct 2018 17:05:38 +0000 (19:05 +0200)

Trivial merge