[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] org-manual.org: Remove languages list and update worg link
|
From: |
Kyle Meyer |
|
Subject: |
Re: [PATCH] org-manual.org: Remove languages list and update worg link |
|
Date: |
Sun, 08 Nov 2020 22:59:07 -0500 |
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).