Re: libgmp deimos library

[Mike Parker via Digitalmars-d]

On Thursday, 12 January 2017 at 02:12:01 UTC, Mike Parker wrote:

They should also be marked nothrow.

Which I see they are.