Re: What's cooking in git.git (Oct 2018, #01; Wed, 10)

From: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Date: Oct 10, 2018, 07:59 UTC
Message-ID: <87efcyfd0r.fsf@evledraar.gmail.com>
In-Reply-To: <xmqq8t36mk4t.fsf@gitster-ct.c.googlers.com>

On Wed, Oct 10 2018, Junio C Hamano wrote:

Show 10 quoted lines

> * jk/drop-ancient-curl (2017-08-09) 5 commits
>  - http: #error on too-old curl
>  - curl: remove ifdef'd code never used with curl >=7.19.4
>  - http: drop support for curl < 7.19.4
>  - http: drop support for curl < 7.16.0
>  - http: drop support for curl < 7.11.1
>
>  Some code in http.c that has bitrot is being removed.
>
>  Expecting a reroll.

There's been no activity on this for 6 months since I sent a "hey what's going on with it" E-Mail in: https://public-inbox.org/git/20180404204920.GA15402@sigill.intra.peff.net/

Maybe it should just be dropped?