[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?
- Merging bignum to master, Tom Tromey, 2018/08/11
- Re: Merging bignum to master, Basil L. Contovounesios, 2018/08/11
- Re: Merging bignum to master, Tom Tromey, 2018/08/12
- Re: Merging bignum to master, Basil L. Contovounesios, 2018/08/13
- Re: Merging bignum to master, Andy Moreton, 2018/08/13
- Re: Merging bignum to master, Andy Moreton, 2018/08/15
- Re: Merging bignum to master, Basil L. Contovounesios, 2018/08/16
- Re: Merging bignum to master, Paul Eggert, 2018/08/19
- Re: Merging bignum to master, Eli Zaretskii, 2018/08/17
Re: Merging bignum to master,
Ulrich Mueller <=
- Re: Merging bignum to master, Paul Eggert, 2018/08/12
- Re: Merging bignum to master, Eli Zaretskii, 2018/08/12
- Re: Merging bignum to master, Paul Eggert, 2018/08/12
- Re: Merging bignum to master, Tom Tromey, 2018/08/12
- Re: Merging bignum to master, Andreas Schwab, 2018/08/13
- Re: Merging bignum to master, Ulrich Mueller, 2018/08/13
- Re: Merging bignum to master, Paul Eggert, 2018/08/13
- Re: Merging bignum to master, Paul Eggert, 2018/08/14
- Re: Merging bignum to master, Richard Stallman, 2018/08/15
Re: Merging bignum to master, Richard Stallman, 2018/08/13