Push the tag explicitly to avoid pushing private tags.
[gnus] / makepub
2011-02-22 Lars IngebrigtsenPush the tag explicitly to avoid pushing private tags.
2011-02-21 Lars IngebrigtsenIncrease the version numbers twice to get easier tag...
2011-02-21 Lars IngebrigtsenFix some errors.
2011-02-21 Lars IngebrigtsenCheck in the new git-based makepub.