Please push remaining tags

[scorphus]

Hello! Can you please push the remaining tags? In case you dont have them all, you can use one of the following.

Either:

bash -c 'IFS=$\'\n\'; for line in `git log --oneline | grep \'\b0\.[1-9]\.[0-9]\+$\'`; do git tag "$(echo $line | cut -d\  -f2)" "$(echo $line | cut -d\  -f1)"; done'

Or:

git tag 0.8.4 a7238ee
git tag 0.8.3 78aa038
git tag 0.8.2 701e7ee
git tag 0.8.1 54860f9
git tag 0.8.0 564dd08
git tag 0.7.10 14de762
git tag 0.7.9 7897552
git tag 0.7.8 51a1308
git tag 0.7.7 1da9137
git tag 0.7.6 f02f77b
git tag 0.7.5 663a061
git tag 0.7.4 2a88b2e
git tag 0.7.3 59f6686
git tag 0.7.2 9e4ccaf
git tag 0.7.1 dec1c4a
git tag 0.7.0 1558e66
git tag 0.6.1 fe1251d
git tag 0.6.0 36ffca0
git tag 0.5.0 db93ea8
git tag 0.4.0 5ef4a32
git tag 0.3.1 5f598d0
git tag 0.3.0 4e52d39
git tag 0.2.1 bb81d97
git tag 0.2.0 7b54f09

Thanks in advance! 😄

[mikedilger]

done