Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

kevtan
Copy link
Contributor

@kevtan kevtan commented Dec 5, 2020

One word fix—was bugging me!

@brghena
Copy link
Contributor

brghena commented Dec 5, 2020

bors r+

@bors
Copy link
Contributor

bors bot commented Dec 5, 2020

@bors bors bot merged commit 6d01d37 into tock:master Dec 5, 2020
@kevtan kevtan deleted the fix-typo-in-kernel-struct branch December 7, 2020 03:26
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