Closed qinsoon closed 11 months ago
This PR updates mmtk-core to https://github.com/mmtk/mmtk-core/pull/988. Once https://github.com/mmtk/mmtk-core/pull/988 is merged, this PR should be updated to the new mmtk-core commit, and will be auto merged (if all the requirements for auto merging is met).
This PR updates mmtk-core to https://github.com/mmtk/mmtk-core/pull/988. Once https://github.com/mmtk/mmtk-core/pull/988 is merged, this PR should be updated to the new mmtk-core commit, and will be auto merged (if all the requirements for auto merging is met).