Lookup at gpatch before patch on macOS now that both homebrew and macports expose gpatch as gpatch#6255

Merged

kit-ty-kate merged 2 commits intoocaml:masterfrom kit-ty-kate:gpatch-homebrew

Dec 17, 2024

+17-7

Commits on Dec 17, 2024

Lookup at gpatch before patch on macOS now that both homebrew and macports expose gpatch as gpatch
kit-ty-kate
committed
Update the tests now that homebrew renamed the GNU patch binary to gpatch (see Homebrew/homebrew-core#174687 )
kit-ty-kate
committed