PR #518 Allow patch_os in gmp

Allow patch_os in gmp #518

AbrilRBS merged 1 commit into conan-io:master from AbrilRBS:rr/allow-patch_os-gmp

Allow patch_os in gmp

c7e0f3be

AbrilRBS requested a review from

uilianries 2 years ago

uilianries approved these changes on 2023-10-25

AbrilRBS merged e514e701 into master 2 years ago

AbrilRBS deleted the rr/allow-patch_os-gmp branch 2 years ago

Reviewers

uilianries

Assignees

No one assigned

Labels

None yet

Milestone

No milestone