Skip to content

Conversation

wks
Copy link
Contributor

@wks wks commented Apr 18, 2024

Upstream change: mmtk/mmtk-core#1122

@wks wks marked this pull request as ready for review April 18, 2024 05:00
@wks wks requested a review from qinsoon April 18, 2024 05:00
@mmtkgc-bot mmtkgc-bot enabled auto-merge (squash) April 18, 2024 07:04
@mmtkgc-bot mmtkgc-bot merged commit 063f8fc into mmtk:master Apr 18, 2024
qinsoon pushed a commit to qinsoon/mmtk-julia that referenced this pull request Apr 24, 2024
Upstream change: mmtk/mmtk-core#1122

---------

Co-authored-by: mmtkgc-bot <[email protected]>
qinsoon added a commit that referenced this pull request Apr 29, 2024
This backports #127 and #144 to v1.9.2+RAI, and updates mmtk-core.

---------

Co-authored-by: Kunshan Wang <[email protected]>
Co-authored-by: mmtkgc-bot <[email protected]>
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