Merge "Geode: Updates to make builds more stable"
authorRobert Tomczyk <robert.tomczyk@est.tech>
Thu, 25 Jul 2019 12:14:54 +0000 (12:14 +0000)
committerNordix Gerrit <gerrit@nordix.org>
Thu, 25 Jul 2019 12:14:54 +0000 (12:14 +0000)

Trivial merge