Skip to content

Conversation

wks
Copy link
Collaborator

@wks wks commented Sep 5, 2024

This makes changes for upstream API changes.

Upstream PR: mmtk/mmtk-core#1195

This makes changes for upstream API changes.

Upstream PR: mmtk/mmtk-core#1195
@mmtkgc-bot mmtkgc-bot merged commit 1ef4223 into mmtk:master Sep 6, 2024
2 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.

3 participants