tree 0d1276a1ce25e11a6d3ac9ef2459056094c44843
parent 5c1fc56c9ff8a8dc99bc8cd88d8f0268a097a38c
parent 8232e569c6c4f7b42adb3e2cd007d135c5dde459
author marchettim <mmarchetti@sandvine.com> 1543334466 +0100
committer Gerrit Code Review <root@osm.etsi.org> 1543334466 +0100

Merge "(bug 578) Fix installer on Ubuntu 18.04"