• Joaquim Rocha's avatar
    Update for release 0.8.5 · edd666ac
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.