Bastien <b...@gnu.org> writes: > Kyle Meyer <k...@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
