en/ort-unused-code-removal, was Re: What's cooking in git.git (Aug 2022, #07; Fri, 19)
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Aug 22, 2022, 11:16 UTC
- 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:
Show 6 quoted lines
> * 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