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

Commits on Sep 25, 2023

Fixes and improvements for source builds (#51422)

maleadt
authored and
Drvi
committed