Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

reference updates on summary changes in Julia nightly #36

Merged
merged 2 commits into from
Sep 11, 2020

Conversation

johnnychen94
Copy link
Member

@johnnychen94 johnnychen94 commented Sep 11, 2020

A lot of unrelated changes happen upstream and that's not what we can control of. To relieve some of the maintenance work, here I just stripped the summary line for references.

Bump a version here to ship 4c1a5b8

@johnnychen94 johnnychen94 merged commit 93ed0c3 into master Sep 11, 2020
@johnnychen94 johnnychen94 deleted the jc/nightly_fix branch September 11, 2020 09:36
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.

1 participant