Skip to content
This repository was archived by the owner on Dec 15, 2021. It is now read-only.

Conversation

japaric
Copy link
Member

@japaric japaric commented Jan 12, 2019

No description provided.

@japaric japaric requested a review from a team as a code owner January 12, 2019 15:48
Copy link
Contributor

@therealprof therealprof left a comment

Choose a reason for hiding this comment

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

LGTM

@therealprof
Copy link
Contributor

bors r+

bors bot added a commit that referenced this pull request Jan 12, 2019
23: add team e-mail to authors r=therealprof a=japaric



Co-authored-by: Jorge Aparicio <jorge@japaric.io>
@bors
Copy link
Contributor

bors bot commented Jan 12, 2019

Build succeeded

@bors bors bot merged commit ea60915 into master Jan 12, 2019
@bors bors bot deleted the e-mail branch January 12, 2019 17:31
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.

2 participants