Subject: Re: bug#27708: [PROPOSED] Simplify configuration of HAVE_GNUTLS3 etc.

From: Ted Zlatanov <[email-masked]>
Date: Fri, 28 Jul 2017 00:11:43 +0300

On Wed, 26 Jul 2017 16:23:30 -0700 Paul Eggert <[email-masked]> wrote: 

PE> Ted Zlatanov wrote:
>> Paul, do you want to use your original patch as we discussed?

PE> I'd prefer that, yes. It's not a big deal.

Great. Would you like to apply it?

Ted