Closed marcalff closed 1 month ago
Indeed, thanks for reporting.
Thanks. This was a botch of the git tag, which went unnoticed.
I've deleted the tag, and applied the tag again to the right commit for 0.7.1, which is 5ccf9a24. (BTW, the release page will always show the commit correctly, even when the tag is wrong.)
FWIW, 0.7.2 is also about to show up.
According to the release notes:
However, cloning from tag v0.7.1 and building from source still shows the bug.
By inspecting closely the git history, it turns out:
This URL:
displays:
Not even sure how this can happen with git or github.