Skip to content
This repository has been archived by the owner on Jan 30, 2024. It is now read-only.

Satisfy clippy #141

Merged
merged 3 commits into from
Feb 4, 2021
Merged

Satisfy clippy #141

merged 3 commits into from
Feb 4, 2021

Conversation

Urhengulas
Copy link
Member

No description provided.

@Urhengulas Urhengulas self-assigned this Feb 4, 2021
src/main.rs Outdated Show resolved Hide resolved
src/main.rs Outdated Show resolved Hide resolved
Urhengulas and others added 2 commits February 4, 2021 14:14
Co-authored-by: Jonas Schievink <[email protected]>
Co-authored-by: Jonas Schievink <[email protected]>
@jonas-schievink
Copy link
Contributor

bors r+

@bors bors bot merged commit 34f25f1 into main Feb 4, 2021
@bors bors bot deleted the satisfy-clippy branch February 4, 2021 13:34
@Urhengulas
Copy link
Member Author

Thanks @jonas-schievink

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants