Re: [ping][PATCH 1/1] docs: Add link to gmplib.org
> Thanks, I've pushed this patch. > > -Sandra Appreciated. Thanks.
Re: [ping][PATCH 1/1] docs: Add link to gmplib.org
On 1/11/23 07:57, Benson Muite via Gcc-patches wrote: Improvement to documentation from a new contributor without commit rights. On 1/5/23 06:38, Benson Muite wrote: Link is missing from install documentation Thanks, I've pushed this patch. -Sandra