> 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
Description: Binary data
