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

[Benson Muite via Gcc-patches]

> Thanks, I've pushed this patch.
> 
> -Sandra
Appreciated. Thanks.