Skip to content

redis.clients/jedis/7.0.0#32390

Merged
capfei merged 1 commit intomasterfrom
clearlydefinedbot_260413_190018.507
Apr 13, 2026
Merged

redis.clients/jedis/7.0.0#32390
capfei merged 1 commit intomasterfrom
clearlydefinedbot_260413_190018.507

Conversation

@clearlydefinedbot
Copy link
Copy Markdown
Contributor

Type: Incorrect

Summary:
redis.clients/jedis/7.0.0

Details:
Curating redis.clients/jedis/7.0.0

Resolution:
https://repo1.maven.org/maven2/redis/clients/jedis/7.0.0/jedis-7.0.0.pom

Affected definitions:

@clearlydefinedbot
Copy link
Copy Markdown
Contributor Author

You can review the change introduced to the full definition at ClearlyDefined.

@capfei capfei merged commit 1ff72e9 into master Apr 13, 2026
2 checks passed
@capfei capfei deleted the clearlydefinedbot_260413_190018.507 branch April 13, 2026 19:00
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