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

Update for upstream PR mmtk/mmtk-core#611 #62

Merged
merged 4 commits into from
Jul 5, 2022
Merged

Update for upstream PR mmtk/mmtk-core#611 #62

merged 4 commits into from
Jul 5, 2022

Conversation

wks
Copy link
Collaborator

@wks wks commented Jun 21, 2022

Notably, mmtk-v8 no longer mentions ProcessEdgesWork.

@wks
Update for upstream PR mmtk/mmtk-core#611
d141919 
Notably, mmtk-v8 no longer mentions ProcessEdgesWork.
@wks wks force-pushed the api-no-process-edges-work branch from 29fbee4 to d141919 Compare June 21, 2022 08:49
@wks wks marked this pull request as ready for review June 21, 2022 10:42
@wks wks requested a review from qinsoon June 22, 2022 03:28
@qinsoon qinsoon added the PR-approved Pull request approved label Jun 22, 2022
qinsoon
qinsoon approved these changes Jun 24, 2022
View reviewed changes
Copy link
Member

@qinsoon qinsoon left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@qinsoon qinsoon merged commit 10c09ff into mmtk:master Jul 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@qinsoon qinsoon qinsoon approved these changes

Assignees
No one assigned
Labels
PR-approved Pull request approved
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@wks @qinsoon