Re: [PATCH] org-manual.org: Remove languages list and update worg link

[Bastien]

Bastien <bzg@gnu.org> writes:

> Kyle Meyer <kyle@kyleam.com> writes:
>
>> ian martins writes:
>>
>>> I pushed two days ago, but the manual hasn't updated yet. I guess it
>>> doesn't update on git hooks like worg. is there a scheduled process or is
>>> there something that must be done?
>>
>> The online manual corresponds to the latest release and updated with
>> each release (as far as I know, though hopefully Bastien or others will
>> correct me if I'm wrong).
>
> Yes, that's correct.

Closing this patch now.

-- 
 Bastien