Re: [ping][PATCH 1/1] docs: Add link to gmplib.org

[Sandra Loosemore]

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