-
Joaquim Rocha authored
The previous tag was not a mistake since it was pushed from a dev branch. The patch is the same that was then merged to master, but this release is for "cleaning" that mistake and use a tag pointing to the a commit in the main tree.
edd666ac
To find the state of this project's repository at the time of any of these versions, check out the tags.