Skip to content

Conversation

@japaric
Copy link
Member

@japaric japaric commented Sep 24, 2018

r? @rust-embedded/resources

@japaric japaric requested a review from a team as a code owner September 24, 2018 04:20
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 Sep 24, 2018
26: fix include; make build scripts more similar to each other r=therealprof a=japaric r? @rust-embedded/resources Co-authored-by: Jorge Aparicio <jorge@japaric.io>
@bors
Copy link
Contributor

bors bot commented Sep 24, 2018

@bors bors bot merged commit 926e4f7 into master Sep 24, 2018
@bors bors bot deleted the fix branch September 24, 2018 07:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants