Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix GMP build-patched def. #42539

Merged
merged 1 commit into from
Oct 9, 2021
Merged

Fix GMP build-patched def. #42539

merged 1 commit into from
Oct 9, 2021

Conversation

Sacha0
Copy link
Member

@Sacha0 Sacha0 commented Oct 7, 2021

Title says it all. Also impacts backports-release-1.7 as #42293 was backported there. Best! :)

@Sacha0 Sacha0 added backport 1.7 building Build system, or building Julia or its dependencies labels Oct 7, 2021
@vchuravy vchuravy requested a review from vtjnash October 8, 2021 20:44
@vchuravy vchuravy added this to the 1.7 milestone Oct 8, 2021
@vchuravy vchuravy merged commit d901766 into master Oct 9, 2021
@vchuravy vchuravy deleted the sv-fix-gmp-build-patched branch October 9, 2021 01:04
@Sacha0
Copy link
Member Author

Sacha0 commented Oct 9, 2021

Thanks for reviewing/merging Valentin! :)

@KristofferC KristofferC mentioned this pull request Oct 11, 2021
Merged
84 tasks
@t-bltg t-bltg mentioned this pull request Dec 2, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vchuravy vchuravy vchuravy approved these changes

@vtjnash vtjnash Awaiting requested review from vtjnash

Assignees
No one assigned
Labels
building Build system, or building Julia or its dependencies
Projects
None yet
Milestone
1.7
Development

Successfully merging this pull request may close these issues.
3 participants
@Sacha0 @vchuravy @KristofferC