Please push git tag for version v5.0.0

[hashar]

Hi @jamescryer ,

Thank you for the last round of maintenance a year ago. At the time you have releases a version 5.0.0 with d0ff4a8 . May you push a v5.0.0 tag which points to it? Or maybe that was forgotten.

You can tag with:

git tag -m 5.0.0 v5.0.0 d0ff4a8c74cd7597d801a81760638ed515af6e3c

And push that tag with:

git push origin v5.0.0:refs/tags/v5.0.0

Thank you!