Release tagging

[reneleonhardt]

Would it be possible to tag the next releases in Git, for example 0.5.7?

[siefkenj]

This sounds like a good idea to me :-)