Skip to content

Conversation

@k-sareen
Copy link
Collaborator

@k-sareen k-sareen commented Aug 29, 2025

MMTk core PR: mmtk/mmtk-core#1372

@k-sareen k-sareen requested a review from Copilot August 29, 2025 03:57

This comment was marked as off-topic.

@k-sareen k-sareen requested a review from qinsoon August 29, 2025 03:58
@k-sareen
Copy link
Collaborator Author

Accidentally requested a review from Copilot 😅

@qinsoon
Copy link
Member

qinsoon commented Sep 8, 2025

I am not sure why this PR did not get updated and auto merged with mmtk/mmtk-core#1372.

@qinsoon qinsoon merged commit 7965a5b into mmtk:master Sep 8, 2025
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants