Skip to content

document safety of implementation detail functions#329

Merged
bors[bot] merged 1 commit intomainfrom
safety-docs
Jan 7, 2021
Merged

document safety of implementation detail functions#329
bors[bot] merged 1 commit intomainfrom
safety-docs

Conversation

@japaric
Copy link
Copy Markdown
Member

@japaric japaric commented Jan 7, 2021

fixes some clippy lints

should unblock #324

fixes some clippy lints
@japaric
Copy link
Copy Markdown
Member Author

japaric commented Jan 7, 2021

bors r+

@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Jan 7, 2021

Build succeeded:

@bors bors Bot merged commit e162a6f into main Jan 7, 2021
@bors bors Bot deleted the safety-docs branch January 7, 2021 13:02
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.

1 participant