curl-library
Re: PATCH: Fix request timer management
From: Daniel Stenberg <daniel_at_haxx.se>
Date: Tue, 1 Aug 2017 13:40:13 +0200 (CEST)
Date: Tue, 1 Aug 2017 13:40:13 +0200 (CEST)
On Sat, 29 Jul 2017, Daniel Stenberg wrote:
> In the mean time, I've pushed your patch as a PR to make sure the CI tests
> like it: https://github.com/curl/curl/pull/1710
Merged now!
-- / daniel.haxx.se ------------------------------------------------------------------- Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library Etiquette: https://curl.haxx.se/mail/etiquette.htmlReceived on 2017-08-01