new release, new git tag

[adrelanos]

Last release is 1.16.0 on Dec 10, 2020.

Are git tags deprecated?

Any new release?

[ben-grande]

Please provide a new tag, it is much easier to checkout a tag when enough relevant commits are made than keeping up with every new commit id. Versioning becomes easier.