Skip to content
This repository was archived by the owner on Nov 18, 2022. It is now read-only.

Minor improvements #841

Merged
merged 4 commits into from
Aug 19, 2020
Merged

Minor improvements #841

merged 4 commits into from
Aug 19, 2020

Conversation

Xanewok
Copy link
Member

@Xanewok Xanewok commented Aug 19, 2020

Extracted from #840

@Xanewok Xanewok force-pushed the small-improvements branch from 7824e34 to 23a0b5f Compare August 19, 2020 20:14
@Xanewok Xanewok merged commit 526556a into rust-lang:master Aug 19, 2020
@Xanewok Xanewok deleted the small-improvements branch August 19, 2020 20:26
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