Make the `message-goto-*' commands push the mark
[gnus] / makepub
2012-01-31 Lars IngebrigtsenChange the name from "No Gnus" to "Ma Gnus"
2011-03-17 Lars Magne Ingebri... Fix "push tag" command.
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.