Skip to content

[Backport 2.13-maintenance] Revert "fixup: remove boehmgc patch"#7680

Merged
roberth merged 3 commits into2.13-maintenancefrom
backport-7679-to-2.13-maintenance
Jan 24, 2023
Merged

[Backport 2.13-maintenance] Revert "fixup: remove boehmgc patch"#7680
roberth merged 3 commits into2.13-maintenancefrom
backport-7679-to-2.13-maintenance

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Jan 24, 2023

Bot-based backport to 2.13-maintenance, triggered by a label in #7679.

@roberth @github-actions
Revert "fixup: remove boehmgc patch"
46daba3 
It is still necessary.
Please do your research, or f ask the author, which happens to be me.

An evaluator like this is not an environment where "it compiles, so
it works" will ever hold.

This reverts commit 1c40182.

(cherry picked from commit 0664ba0)
@roberth @github-actions
Actually complete the revert
8f170f9 
(cherry picked from commit 8270dcc)
@roberth @github-actions
Update boehmgc-coroutine-sp-fallback.diff
7ddbc12 
(cherry picked from commit 46054f9)
@github-actions github-actions bot mentioned this pull request Jan 24, 2023
Merged
7 tasks
@roberth roberth closed this Jan 24, 2023
@roberth roberth reopened this Jan 24, 2023
@roberth roberth merged commit 2e66fe9 into 2.13-maintenance Jan 24, 2023
@edolstra edolstra deleted the backport-7679-to-2.13-maintenance branch March 29, 2024 15:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@edolstra edolstra Awaiting requested review from edolstra edolstra is a code owner

@thufschmitt thufschmitt Awaiting requested review from thufschmitt

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@roberth