diff --git a/CHANGELOG.md b/CHANGELOG.md index 27d849c0..7d9bf70b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,8 @@ +0.13.0 (2022-06-27) +=== + +* Updates to mmtk-core 0.13.0. + 0.12.0 (2022-05-13) === diff --git a/mmtk/Cargo.toml b/mmtk/Cargo.toml index 767360d0..5544a87d 100644 --- a/mmtk/Cargo.toml +++ b/mmtk/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "mmtk_jikesrvm" -version = "0.12.0" +version = "0.13.0" authors = [" <>"] rust-version = "1.59.0" @@ -28,7 +28,7 @@ log = {version = "0.4", features = ["max_level_trace", "release_max_level_off"] # - change branch/rev # - change repo name # But other changes including adding/removing whitespaces in commented lines may break the CI. -mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "f78de4ed8ffd6f834c6c3d3a0bde0a651cc33f2b" } +mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "571a857b75e648ca4c711d56fbf400d99173398f" } # Uncomment the following to build locally - if you change the path locally, do not commit the change in a PR # mmtk = { path = "../repos/mmtk-core" }