> On Oct 25, 2026, at 04:52, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>
>> On 23 Oct 2026, at 05:27, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>>
>>> On 22 Oct 2026, at 22:33, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> 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/