PR #42539 Fix GMP build-patched def.

Fix GMP build-patched def. #42539

vchuravy merged 1 commit into master from sv-fix-gmp-build-patched

Fix GMP build-patched def.

24650600

Sacha0 added backport 1.7

Sacha0 added building

vchuravy requested a review from

vtjnash 4 years ago

vchuravy added this to the 1.7 milestone 4 years ago

vchuravy approved these changes on 2021-10-09

vchuravy merged d901766e into master 4 years ago

vchuravy deleted the sv-fix-gmp-build-patched branch 4 years ago

KristofferC removed backport 1.7

Reviewers

vchuravy

vtjnash

Assignees

No one assigned

Labels

building

Milestone

1.7