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

Reply via email to