tree 684b84d52d8153d34b080261ce44065145a59bf4
parent 8df63dfe2ab80d7c80fa191634e46325cf72d8a6
author Matteo Scandolo <matteo.scandolo@gmail.com> 1569271672 -0700
committer Matteo Scandolo <matteo.scandolo@gmail.com> 1569271672 -0700

Fixing Docker build

Change-Id: Iff49da59ab90cabf2e72bb713a439264eb5578c9