Fix "push tag" command.
authorLars Magne Ingebrigtsen <larsi@quimbies.gnus.org>
Thu, 17 Mar 2011 19:40:46 +0000 (20:40 +0100)
committerLars Magne Ingebrigtsen <larsi@quimbies.gnus.org>
Thu, 17 Mar 2011 19:40:46 +0000 (20:40 +0100)
commitf9ef018e3c287069cd0bf7f0c6af7f1cc3cb356c
tree3eb6ecf1f3d27caa33678d61c4f918fe06e5c694
parenta9455d1e85c4a08d6701d80c50f7c26180a670db
Fix "push tag" command.
makepub