tagging the release

[trebmuh]

Could you tag the release on github please ?

[bochecha]

In addition to tagging past and future releases, I'd love to have a new release for the stuff that was merged in master. 🙂