Missing git tags
A number of releases are missing corresponding git tags, E.G.:
0.13.0
0.12.6
0.12.3
0.12.2
0.12.0
0.7.0
0.6.0
0.5.0
0.4.0
0.3.0
0.2.0
0.1.0
Can you please push these?
Missing git tags
A number of releases are missing corresponding git tags, E.G.:
0.13.0
0.12.6
0.12.3
0.12.2
0.12.0
0.7.0
0.6.0
0.5.0
0.4.0
0.3.0
0.2.0
0.1.0
Can you please push these?