en/ort-unused-code-removal, was Re: What's cooking in git.git (Aug 2022, #07; Fri, 19)

[Johannes Schindelin <Johannes.Schindelin@xxxxxx>]

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@xxxxxxxxx>

Ciao,
Dscho