Achim Gratz <strom...@nexgo.de> writes: > Bastien writes: >> Chris Randle <ch...@amlog.co.uk> writes: >> >>> org-version reports 7.8.07 >> >> Fixed. > > I think you've either not pushed the fixed (annotated) tag to the server > yet or it has rejected the push (in this case you must delete the tag on > the server first and then push it again).
Not sure I understand: the tag release_7.8.08 *is* on the server and was pushed from the maint branch (see http://orgmode.org/w/org-mode.git). Do you mean I need to annotate it? (I will do.) -- Bastien