Merge "GEODE: Make sure the git tag in correct format is present"
authorRobert Tomczyk <robert.tomczyk@est.tech>
Mon, 29 Jul 2019 09:56:10 +0000 (09:56 +0000)
committerNordix Gerrit <gerrit@nordix.org>
Mon, 29 Jul 2019 09:56:10 +0000 (09:56 +0000)

Trivial merge