Skip to content

get_peripheral#180

Merged
bors[bot] merged 1 commit into
masterfrom
get_periph
Dec 8, 2021
Merged

get_peripheral#180
bors[bot] merged 1 commit into
masterfrom
get_periph

Conversation

@burrbull

@burrbull burrbull commented Dec 8, 2021

Copy link
Copy Markdown
Member

Missed in #179

@burrbull burrbull requested a review from a team as a code owner December 8, 2021 20:18

@adamgreig adamgreig left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

bors r+

@bors

bors Bot commented Dec 8, 2021

Copy link
Copy Markdown
Contributor

Build succeeded:

@bors bors Bot merged commit 460cdbf into master Dec 8, 2021
@bors bors Bot deleted the get_periph branch December 8, 2021 23:15
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.

2 participants