Do not tag development releases "dev"
Do not tag development releases "dev", as it conflicts with our common versioning code. Fixes bug 1131622. Change-Id: I33ab25de1d1509c79d11f1919239798663b0cd22
This commit is contained in:
parent
409a2705b3
commit
651891c306