Skip to content

summarize design meeting from 2019-12-20 on major change process#230

Merged
nikomatsakis merged 1 commit intorust-lang:masterfrom
nikomatsakis:2019-12-20-minutes
Dec 20, 2019
Merged

summarize design meeting from 2019-12-20 on major change process#230
nikomatsakis merged 1 commit intorust-lang:masterfrom
nikomatsakis:2019-12-20-minutes

Conversation

@nikomatsakis
Copy link
Contributor

Closes #209

@nikomatsakis nikomatsakis merged commit 291c67e into rust-lang:master Dec 20, 2019
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.

major changes proposal

1 participant