Don't do QRESYNC the first time you use the new Gnus.
[gnus] / makepub
2011-02-22 Lars IngebrigtsenFix tag pushing.
2011-02-22 Lars IngebrigtsenPush after final change.
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.