Closed dnarvaez closed 11 years ago
Previous releases used to have a corresponding git tag. Not a big deal but it's nice to have a tag if you are building releases from git.
Thanks, I completely forgot to push tags. It should be updated now.
Previous releases used to have a corresponding git tag. Not a big deal but it's nice to have a tag if you are building releases from git.