Skip to content

Fix the wrong julia version when PR#80 was merged.#81

Merged
qinsoon merged 1 commit intommtk:masterfrom
qinsoon:fix-julia-ref-pr80
Jul 24, 2023
Merged

Fix the wrong julia version when PR#80 was merged.#81
qinsoon merged 1 commit intommtk:masterfrom
qinsoon:fix-julia-ref-pr80

Commits

Commits on Jul 24, 2023