The release tags on GitHub are all in the format XX.YY..., so with '.' as delimiter. We should keep consistency with this.