Skip to content

Conversation

piobab
Copy link
Contributor

@piobab piobab commented Nov 19, 2020

No description provided.

@piobab piobab mentioned this pull request Nov 19, 2020
@piobab piobab force-pushed the fix-clippy-warnings branch from 2dcc6d8 to 8ee275c Compare November 20, 2020 09:02
Copy link
Collaborator

@kodieg kodieg left a comment

Choose a reason for hiding this comment

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

LGTM

@piobab piobab merged commit d09f752 into master Nov 20, 2020
@piobab piobab deleted the fix-clippy-warnings branch November 20, 2020 11:20
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