Skip to content
This repository has been archived by the owner on Oct 26, 2021. It is now read-only.

Update to 2020-04-30 #2

Merged
merged 1 commit into from
May 1, 2020
Merged

Update to 2020-04-30 #2

merged 1 commit into from
May 1, 2020

Conversation

nilehmann
Copy link
Owner

There's ongoing work to replace LocalDefId's for DefId's (rust-lang/rust#70853) and I want to keep up with those changes.

@nilehmann nilehmann merged commit 1722ab9 into master May 1, 2020
@nilehmann nilehmann deleted the nico/update-rust branch May 1, 2020 03:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant