Skip to content

chore: fix minor clippy lints#275

Merged
mxinden merged 1 commit into
prometheus:masterfrom
mxinden:clippy
Aug 4, 2025
Merged

chore: fix minor clippy lints#275
mxinden merged 1 commit into
prometheus:masterfrom
mxinden:clippy

Conversation

@mxinden
Copy link
Copy Markdown
Member

@mxinden mxinden commented Aug 4, 2025

No description provided.

Signed-off-by: Max Leonard Inden <mail@max-inden.de>
@mxinden mxinden merged commit 930aa08 into prometheus:master Aug 4, 2025
10 checks passed
spoutn1k pushed a commit to whamcloud/client_rust that referenced this pull request Aug 12, 2025
Signed-off-by: Max Leonard Inden <mail@max-inden.de>
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