[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: gnunet: Add GNUnet-0.10.0.
From: |
Andreas Enge |
Subject: |
Re: [PATCH] gnu: gnunet: Add GNUnet-0.10.0. |
Date: |
Tue, 11 Feb 2014 09:25:37 +0100 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Hello,
On Tue, Feb 11, 2014 at 09:05:31AM +0100, Ludovic Courtès wrote:
> Well, let’s see how we can fix things from here.
finally, this was not such a big problem, I had just added libmicrohttpd
and done a bit of reformatting following Mark's suggestions (which you
have also done independently).
I could try to update curl and see whether the test problem still occurs.
It is a mystery to me how the problem occurred at the same time in curl
and gnurl when essentially we had not changed anything...
Andreas