commit edd666ac6f04720f3a8ec1bd9f082308d282491d Author: Joaquim Rocha Date: Tue Mar 15 16:44:03 2022 +0000 Update for release 0.8.5 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. NEWS | 13 ++++++++++++- configure.ac | 2 +- 2 files changed, 13 insertions(+), 2 deletions(-) commit 5fe13becf48e38fc93b9152c9cf1f6a130adc706