Skip to content

Update/julia master#18

Merged
qinsoon merged 6 commits intommtk:masterfrom
udesou:update/julia-master
Feb 1, 2023
Merged

Update/julia master#18
qinsoon merged 6 commits intommtk:masterfrom
udesou:update/julia-master

Conversation

@udesou
Copy link
Copy Markdown
Contributor

@udesou udesou commented Jan 25, 2023

This PR updates the binding to the latest Julia master (up to this commit). Should be merged with mmtk/julia#2.

@udesou udesou requested a review from qinsoon January 25, 2023 10:52
@qinsoon qinsoon mentioned this pull request Jan 30, 2023
@qinsoon qinsoon merged commit 5e232aa into mmtk:master Feb 1, 2023
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.

2 participants