Skip to content

Fix warning#280

Merged
brenzi merged 4 commits intomasterfrom
fix-warning
Jun 30, 2021
Merged

Fix warning#280
brenzi merged 4 commits intomasterfrom
fix-warning

Conversation

@clangenb
Copy link
Contributor

@clangenb clangenb commented Jun 30, 2021

Make bigna happy by fixing new clippy warnings that occur after clippy update.

Todo:

@clangenb clangenb requested a review from brenzi June 30, 2021 09:15
@clangenb clangenb mentioned this pull request Jun 30, 2021
2 tasks
@brenzi brenzi merged commit c0d1885 into master Jun 30, 2021
@clangenb clangenb mentioned this pull request Jul 5, 2021
2 tasks
@clangenb clangenb deleted the fix-warning branch July 13, 2021 16:33
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