From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 22 Aug 2022 11:16:30 GMT
Subject: en/ort-unused-code-removal, was Re: What's cooking in git.git (Aug 2022, #07; Fri, 19)
Message-ID: <s23s44s7-4ps0-nn7q-2s43-759o665pn3qp@tzk.qr>
In-Reply-To: <xmqqbksfirfm.fsf@gitster.g>

Hi Junio,

On Fri, 19 Aug 2022, Junio C Hamano wrote:

> * en/ort-unused-code-removal (2022-08-19) 1 commit
>  - merge-ort: remove code obsoleted by other changes
>
>  Code clean-up.
>
>  Will merge to 'next'?

Yes.

>  source: <pull.1302.git.git.1660884355643.gitgitgadget@gmail.com>

Ciao,
Dscho