Re: [O] Org release 7.8.08 (BUGFIX-only release)

[Bastien]

Achim Gratz <address@hidden> writes:

> Bastien writes:
>> Chris Randle <address@hidden> 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