Backport a fix for GMP patches to `backports-release-1.10`#51445

Merged

KristofferC merged 1 commit intoJuliaLang:backports-release-1.10from Drvi:td-backport-malformed-patch-fix

Sep 25, 2023

+16-16

Commits on Sep 25, 2023

Fixes and improvements for source builds (JuliaLang#51422 )

maleadt
authored and
Drvi
committed