GEODE-FIX: Make sure the git tag in correct format is present 75/1775/1
authorrobert.tomczyk <robert.tomczyk@est.tech>
Mon, 29 Jul 2019 10:12:06 +0000 (11:12 +0100)
committerrobert.tomczyk <robert.tomczyk@est.tech>
Mon, 29 Jul 2019 10:12:06 +0000 (11:12 +0100)
commitc9ad6c6abad1ea87cb5ddbd84ea2ded1031dab41
tree55a5d35a0b8890560b45e81e745c137cc3169b10
parentdd212f7c3b443fa43a5654e05cc5e6c5eb312a43
GEODE-FIX: Make sure the git tag in correct format is present

Change-Id: I53fbf2b8139d5630150167e85bad01f07eec1127
jjb/geode/verify_geode_tag.sh