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?
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?