Hi Kyle, 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. -- Bastien