Re: [PATCH 3/9] gmp-utils: New API to simply use of GMP's integer/rational/float objects

Simon Marchi
2020-11-13T15:06:48Z

On 2020-11-13 10:04 a.m., Tom Tromey wrote:
> Let me know if this plan is alright with you.

This is fine with me.

Simon