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 <mmtkgc.bot@gmail.com>
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 <wks1986@gmail.com>
Co-authored-by: mmtkgc-bot <mmtkgc.bot@gmail.com>
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