Skip to content

Conversation

@japaric
Copy link
Collaborator

@japaric japaric commented Oct 16, 2019

No description provided.

Copy link
Collaborator

@korken89 korken89 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@korken89
Copy link
Collaborator

bors r+

bors bot added a commit that referenced this pull request Oct 17, 2019
256: add migration guide r=korken89 a=japaric



Co-authored-by: Jorge Aparicio <[email protected]>
@bors
Copy link
Contributor

bors bot commented Oct 17, 2019

Build succeeded

@bors bors bot merged commit 4b61c34 into master Oct 17, 2019
@bors bors bot deleted the migration branch October 17, 2019 06:35
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.

3 participants