Always compute mainline version with mainline commits#1540

Merged

asbjornu merged 4 commits intoGitTools:masterfrom

wjrogers:fix-mainline-develop-version-#1035

Feb 15, 2019

Commits on Nov 26, 2018

Commits on Feb 15, 2019

Merge branch 'master' into fix-mainline-develop-version-#1035
asbjornu
authored