[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Merging bignum to master

From: Ulrich Mueller
Subject: Re: Merging bignum to master
Date: Sun, 12 Aug 2018 08:29:05 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)

>>>>> On Sat, 11 Aug 2018, Tom Tromey wrote:

> I'm merging bignum to master now, then I'm going to delete the
> now-obsolete feature branch.  Please report any problems you find.

I noticed that there is no --with-gmp configure option to control
linking against libgmp. It this as it is supposed to be?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]