Skip to content

Commit ee0b3c3

Browse files
authored
Fix the wrong julia version when PR#80 was merged. (#81)
1 parent 81bda9c commit ee0b3c3

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

mmtk/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,8 @@ edition = "2018"
99
# Metadata for the Julia repository
1010
[package.metadata.julia]
1111
# Our CI matches the following line and extract mmtk/julia. If this line is updated, please check ci yaml files and make sure it works.
12-
julia_repo = "https://github.com/qinsoon/julia.git"
13-
julia_version = "81e850257c15fe48f51cf8865606fe4e0ad868fc"
12+
julia_repo = "https://github.com/mmtk/julia.git"
13+
julia_version = "81bda9cc0c936ba1ec7bbfee5e6a05bee7b45b2d"
1414

1515
[lib]
1616
crate-type = ["staticlib", "rlib", "dylib"]

0 commit comments

Comments
 (0)