> On Oct 25, 2026, at 04:52, Daniel Gustafsson <[email protected]> wrote:
>
>> On 23 Oct 2026, at 05:27, Daniel Gustafsson <[email protected]> wrote:
>>
>>> On 22 Oct 2026, at 22:33, Tom Lane <[email protected]> wrote:
>>
>>> So I'm rather inclined to just delete it instead of expending effort on
>>> fixing
>>> it.
>>
>> +1
>
> PFA patch removing it.
>
> --
> Daniel Gustafsson
>
> <0001-Remove-git-external-diff-from-tools-directory.patch>
LGTM. I also checked if there is any doc needs to be updated for the removal,
and didn’t find any.
Best regards,
--
Chao Li (Evan)
HighGo Software Co., Ltd.
https://www.highgo.com/
