# git tag -l | grep hdt-0.3.3 hdt-0.3.3 # git describe hdt-0.3.1-78-g78fdb43 Shouldn't "git describe" print something like "hdt-0.3.3-123-g456789"? Why does it still use the hdt-0.3.1 tag? - Sebastian